196 search results - page 1 / 40 » Formally Analysing a Security Protocol for Replay Attacks |
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...
ESORICS
2007
Springer
13 years 11 months ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
ASIAN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
IJNSEC
2008
13 years 5 months ago
2008
As online businesses keep growing and Web services become pervasive, there is an increasing demand for micropayment protocols that facilitate microcommerce, namely selling content...
CSFW
1997
IEEE
13 years 9 months ago
1997
IEEE
Abstract— Replay attacks on security protocols have been discussed for quite some time in the literature. However, the efforts to address these attacks have been largely incomple...