526 search results - page 54 / 106 » A Z Based Approach to Verifying Security Protocols |
SPW
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Many users routinely log in to their system with system administrator privileges. This is especially true of home users. The advantage of this setup is that these users c...
CRYPTO
2006
Springer
13 years 11 months ago
2006
Springer
This paper considers the problem of password-authenticated key exchange (PAKE) in a client-server setting, where the server authenticates using a stored password file, and it is de...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
COMCOM
2006
13 years 7 months ago
2006
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
Radio Frequency Identification (RFID) is an increasingly popular technology that uses radio signals for object identification. Tracking and authentication in RFID tags have raised...