3821 search results - page 434 / 765 » A Security Model for Aglets |
199
click to vote
TCC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
169
click to vote
SACMAT
2003
ACM
16 years 1 days ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC...
198
click to vote
CCS
2003
ACM
16 years 1 days ago
2003
ACM
Understanding the strategies of attacks is crucial for security applications such as computer and network forensics, intrusion response, and prevention of future attacks. This pap...
181
click to vote
CRYPTO
2003
Springer
16 years 1 days ago
2003
Springer
We consider the fundamental problem of authenticated group key exchange among n parties within a larger and insecure public network. A number of solutions to this problem have bee...
198
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...