51 search results - page 1 / 11 » Analysing a Stream Authentication Protocol Using Model Check... |
ESORICS
2002
Springer
14 years 4 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
DASC
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
CSFW
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
ASWEC
2006
IEEE
13 years 11 months ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
AINA
2004
IEEE
13 years 8 months ago
2004
IEEE
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...