4305 search results - page 2 / 861 » Analysing Protocol Implementations |
ASWEC
2006
IEEE
15 years 3 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...
IANDC
2008
14 years 8 months ago
2008
We show how to design secure authentication protocols for a non-standard class of scenarios. In these authentication is not bootstrapped from a PKI, shared secrets or trusted thir...
64
Voted
ICAIL
2007
ACM
15 years 1 months ago
2007
ACM
In this paper, we develop our previous outline of a multi-agent architecture for regulated information exchange in crime investigations. Interactions about information exchange be...
84
Voted
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—This paper presents an evaluation of the Quality of Service Signalling Layer Protocol (QoS-NSLP) of the NSIS (Next Steps In Signalling) protocol suite. The QoS-NSLP in combinati...
77
Voted
ESORICS
2002
Springer
15 years 9 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...