741 search results - page 38 / 149 » Verification of security protocols using LOTOS-method and ap... |
163
click to vote
WECWIS
2005
IEEE
16 years 20 hour ago
2005
IEEE
A zero-knowledge proof (ZKP) is an interactive proof that allows a prover to prove the knowledge of a secret to a verifier without revealing it. ZKPs are powerful tools to deal wi...
148
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The Hopper-Blum (HB) protocol, which uses noised linear parities of a shared key for authentication, has been proposed for light-weight applications such as RFID. Recently, algorit...
178
click to vote
FROCOS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
174
click to vote
WCNC
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract— A fundamental building block in distributed wireless sensor networks is time synchronization. Given resource constrained nature of sensor networks, traditional time syn...
167
Voted
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
The collision-resistance of hash functions is an important foundation of many cryptographic protocols. Formally, collision-resistance can only be expected if the hash function in f...