378 search results - page 21 / 76 » Security Protocol Design via Authentication Tests |
CISC
2007
Springer
14 years 2 months ago
2007
Springer
Deniable authentication is a technique that allows one party to send messages to another while the latter can not prove to a third party the fact of communication. In this paper, w...
JNW
2008
13 years 8 months ago
2008
Wireless sensor networking remains one of the most exciting and challenging research domains of our time. As technology progresses, so do the capabilities of sensor networks. Limit...
CCS
2010
ACM
13 years 9 months ago
2010
ACM
Protocols for password-based authenticated key exchange (PAKE) allow two users who share only a short, low-entropy password to agree on a cryptographically strong session key. The...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
CCS
2003
ACM
14 years 2 months ago
2003
ACM
We present WebSOS, a novel overlay-based architecture that provides guaranteed access to a web server that is targeted by a denial of service (DoS) attack. Our approach exploits t...