1612 search results - page 158 / 323 » About models of security protocols |
110
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Trust negotiation is a process that establishes mutual trust by the exchange of digital credentials and/or guiding policies among entities who may have no pre-existing knowledge a...
164
click to vote
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
Ad hoc networks are characterized by multihop wireless connectivity, frequently changing network topology and the need for efficient dynamic routing protocols. We compare the perf...
137
click to vote
JCS
2011
14 years 11 months ago
2011
Many distance bounding protocols appropriate for the RFID technology have been proposed recently. Unfortunately, they are commonly designed without any formal approach, which lead...
133
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
153
click to vote
ACNS
2007
Springer
15 years 10 months ago
2007
Springer
In 1990, Boyar, Chaum, Damg˚ard and Pedersen introduced convertible undeniable signatures which limit the self-authenticating property of digital signatures but can be converted b...