147 search results - page 15 / 30 » An intruder model for verifying liveness in security protoco... |
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...
115
click to vote
FAC
2008
15 years 1 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
108
Voted
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
111
Voted
JCP
2006
15 years 1 months ago
2006
Recently, Wang et al. proposed a set of double auction protocols with full privacy protection based on distributed ElGamal encryption. Unfortunately, their protocols are expensive ...
101
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus o...