741 search results - page 43 / 149 » Verification of security protocols using LOTOS-method and ap... |
159
click to vote
IACR
2011
14 years 3 months ago
2011
A zero-knowledge protocol allows a prover to convince a verifier of the correctness of a statement without disclosing any other information to the verifier. It is a basic tool a...
130
Voted
CTRSA
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents a new identity based key agreement protocol. In id-based cryptography (introduced by Adi Shamir in [33]) each party uses its own identity as public key and rece...
162
click to vote
ADHOC
2007
15 years 4 months ago
2007
Abstract. Many ad hoc routing algorithms rely on broadcast flooding for location discovery or, more generally, for secure routing applications. Flooding is a robust algorithm but ...
145
click to vote
SDM
2007
SIAM
15 years 5 months ago
2007
SIAM
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. Increasing security concerns have led to a surge in w...
110
click to vote
FSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In Wang’s attack, message modifications allow to deterministically satisfy certain sufficient conditions to find collisions efficiently. Unfortunately, message modi...