5475 search results - page 245 / 1095 » Model Driven Security |
168
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
192
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
168
click to vote
ACSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper concentrates on one particular aspect of providing communication security: rewalls between domains of trust. We argue that signaling support for providing scalable secu...
169
click to vote
INDOCRYPT
2004
Springer
15 years 12 months ago
2004
Springer
A definition of secure multi-party key exchange in the Canetti-Krawczyk proof model is proposed, followed by a proof of the security of the Joux tripartite key agreement protocol...
199
click to vote
FOSAD
2000
Springer
15 years 10 months ago
2000
Springer
Access control is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied. The access co...