947 search results - page 42 / 190 » Provable Implementations of Security Protocols |
CTRSA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we first demonstrate a gap between the security of verifiably committed signatures in the two-party setting and the security of verifiably committed signat...
126
click to vote
IADIS
2004
15 years 1 months ago
2004
Various researches have proposed multiple protocols within 802.11 security to protect and authenticate access to wireless LAN. This paper presents the first implementation of EAP-...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
—In a Wireless Local Area Network (WLAN), the Access Point (AP) selection of a client heavily influences the performance of its own and others. Through theoretical analysis, we ...
102
click to vote
IJNSEC
2007
14 years 11 months ago
2007
In this paper a secure error-signalling scheme for packetswitched network architectures is presented. Current solutions are based on the Internet Control Message Protocol to deliv...