1059 search results - page 110 / 212 » Modeling Security Protocols as Games |
112
click to vote
CTRSA
2006
Springer
15 years 4 months ago
2006
Springer
Bellare, Canetti and Krawczyk proposed a security model (BCK-model) for authentication and key exchange protocols in 1998. The model not only reasonably captures the power of pract...
92
Voted
KDD
2004
ACM
16 years 28 days ago
2004
ACM
Secure multiparty computation allows parties to jointly compute a function of their private inputs without revealing anything but the output. Theoretical results [2] provide a gen...
ASIACRYPT
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We give improved upper bounds on the communication complexity of optimally-resilient secure multiparty computation in the cryptographic model. We consider evaluating an n...
80
Voted
ENTCS
2006
15 years 16 days ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
113
click to vote
SPW
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents a comprehensive study on the performance of common MANET (mobile ad hoc network) routing protocols under realistic network scenarios. The routing protocols use...