1490 search results - page 149 / 298 » The Logic of Authentication Protocols |
210
click to vote
CSFW
2005
IEEE
16 years 2 days 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...
165
click to vote
NDSS
1999
IEEE
15 years 10 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...
172
click to vote
WETICE
1998
IEEE
15 years 10 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...
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...
190
click to vote
ACSAC
2003
IEEE
15 years 10 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...