1490 search results - page 149 / 298 » The Logic of Authentication Protocols |
167
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
126
click to vote
NDSS
1999
IEEE
15 years 8 months ago
1999
IEEE
Kerberos is a distributed authentication system that many organizations use to handle domain-wide password security. Although it has been known for quite some time that Kerberos i...
136
click to vote
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
SESAME is a security architecture that starts from the Kerberos protocol and adds to it public-key based authentication, role based access control, delegation of rights and an ext...
130
click to vote
ACSAC
1997
IEEE
15 years 8 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...
150
click to vote
ACSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
We propose an efficient and flexible system for a secure and authentic data exchange in a multiinstitutional environment, where the institutions maintain different databases and p...