3504 search results - page 10 / 701 » Secure protocol composition |
152
click to vote
TRIDENTCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
The Internet enables the way how global businesses and communities communicate today. In the last years, however, new demands have collided with old designs, resulting in a complex...
145
click to vote
FSTTCS
2003
Springer
15 years 9 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
147
Voted
EUROCRYPT
2010
Springer
15 years 9 months ago
2010
Springer
A broadcast protocol allows a sender to distribute a message through a point-to-point network to a set of parties, such that (i) all parties receive the same message, even if the s...
122
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
128
click to vote
CCS
2005
ACM
15 years 9 months 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...