216 search results - page 11 / 44 » Formal Proofs for the Security of Signcryption |
187
Voted
CCS
2005
ACM
16 years 29 days ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
183
Voted
ACNS
2006
Springer
16 years 1 months ago
2006
Springer
We propose a new password-based 3-party protocol with a formal security proof in the standard model. Under reasonable assumptions we show that our new protocol is more efficient t...
240
click to vote
CCS
2003
ACM
16 years 20 days ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
192
Voted
CTRSA
2005
Springer
16 years 29 days ago
2005
Springer
Traditional password-based authentication and key-exchange protocols suffer from the simple fact that a single server stores the sensitive user password. In practice, when such a ...
179
click to vote
IH
2001
Springer
15 years 12 months ago
2001
Springer
The goal of zero-knowledge watermark detection is to allow a prover to soundly convince a verifier of the presence of a watermark in certain stego-data without revealing any infor...