196 search results - page 13 / 40 » Formally Analysing a Security Protocol for Replay Attacks |
MASS
2010
13 years 6 months ago
2010
Recent advances in development of low-cost wireless sensor platforms open up opportunities for novel wireless sensor network (WSN) applications. Likewise emerge security concerns o...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...
IJNSEC
2007
13 years 8 months ago
2007
Rivest and Shamir presented two simple micropayment schemes, “PayWord” and “MicroMint,” for making small purchases over the Internet [14]. Recently, Adachi et al. have poi...
NORDSEC
2009
Springer
14 years 1 months ago
2009
Springer
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
Distance bounding protocols have been proposed as means of detecting relay attacks, also known as mafia fraud. In this paper we present the first symmetric key based distance bou...