741 search results - page 38 / 149 » Verification of security protocols using LOTOS-method and ap... |
153
click to vote
WECWIS
2005
IEEE
15 years 11 months 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...
142
click to vote
CORR
2010
Springer
15 years 2 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...
170
click to vote
FROCOS
2007
Springer
16 years 3 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...
162
click to vote
WCNC
2008
IEEE
16 years 9 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...
157
click to vote
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...