2979 search results - page 312 / 596 » Modelling secure multiagent systems |
146
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
169
click to vote
SSWMC
2004
15 years 6 months ago
2004
Biometric authentication, i.e. verifying the claimed identity of a person based on physiological characteristics or behavioral traits, has the potential to contribute to both priv...
136
click to vote
ISI
2006
Springer
15 years 4 months ago
2006
Springer
Access control mechanisms are commonly used to provide control over who may access sensitive information. However, malicious users can exploit the correlation among the data and in...
162
click to vote
FORTE
2003
15 years 6 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
139
click to vote
ACSW
2006
15 years 6 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...