609 search results - page 13 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
CCS
2003
ACM
13 years 11 months ago
2003
ACM
We describe LEAP (Localized Encryption and Authentication Protocol), a key management protocol for sensor networks that is designed to support in-network processing, while at the ...
FSEN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
ICICS
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we analyse the security of two authenticated group key agreement schemes based on the group key agreement protocol of Burmester and Desmedt. One scheme was proposed ...
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or undefined. In add...
CIS
2007
Springer
14 years 2 months ago
2007
Springer
The session initiation protocol (SIP) is considered as the dominant signaling protocol for calls over the internet. However, SIP authentication typically uses HTTP digest authentic...