741 search results - page 38 / 149 » Verification of security protocols using LOTOS-method and ap... |
121
Voted
WECWIS
2005
IEEE
15 years 9 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...
119
Voted
CORR
2010
Springer
15 years 19 days 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...
145
click to vote
FROCOS
2007
Springer
15 years 10 months 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...
133
click to vote
WCNC
2008
IEEE
15 years 10 months 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...
136
Voted
ASIACRYPT
2008
Springer
15 years 6 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...