1490 search results - page 59 / 298 » The Logic of Authentication Protocols |
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
CTRSA
2005
Springer
14 years 2 months ago
2005
Springer
Traditional password-based authentication and key-exchange protocols suļ¬er from the simple fact that a single server stores the sensitive user password. In practice, when such a ...
TCC
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Protocols for deniable authentication achieve seemingly paradoxical guarantees: upon completion of the protocol the receiver is convinced that the sender authenticated th...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
Can we secure user authentication against eavesdropping adversaries, relying on human cognitive functions alone, unassisted by any external computational device? To accomplish thi...
SOSP
1989
ACM
13 years 10 months ago
1989
ACM
