5475 search results - page 293 / 1095 » Model Driven Security |
248
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
163
click to vote
MM
2004
ACM
2004
ACM
SMARXO: towards secured multimedia applications by adopting RBAC, XML and object-relational database
16 years 2 days ago
In this paper, a framework named SMARXO is proposed to address the security issues in multimedia applications by adopting RBAC (Role-Based Access Control), XML, and ObjectRelation...
182
click to vote
ESORICS
2004
Springer
16 years 1 days ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
177
click to vote
EUROCRYPT
2004
Springer
16 years 1 days ago
2004
Springer
It is well-known that n players connected only by pairwise secure channels can achieve multi-party computation secure against an active adversary if and only if – t < n/2 of t...
200
click to vote
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...