741 search results - page 27 / 149 » Verification of security protocols using LOTOS-method and ap... |
143
Voted
ASIACRYPT
2008
Springer
15 years 5 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
139
click to vote
TWC
2008
15 years 3 months ago
2008
With the increased popularity of RFID applications, different authentication schemes have been proposed to provide security and privacy protection for users. Most recent RFID proto...
152
click to vote
JNW
2006
15 years 3 months ago
2006
Mobile ad hoc network (MANET) has been generally regarded as an ideal network model for group communications because of its specialty of instant establishment. However, the securit...
125
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
142
click to vote
CRYPTO
2004
Springer
15 years 9 months ago
2004
Springer
We propose the first distributed discrete-log key generation (DLKG) protocol from scratch which is adaptively-secure in the non-erasure model, and at the same time completely avoi...