196 search results - page 3 / 40 » Formally Analysing a Security Protocol for Replay Attacks |
187
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
164
click to vote
CSFW
2007
IEEE
16 years 26 days ago
2007
IEEE
The transmission of voice communications as datagram packets over IP networks, commonly known as Voice-overIP (VoIP) telephony, is rapidly gaining wide acceptance. With private ph...
197
click to vote
CSFW
2007
IEEE
16 years 26 days ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
161
click to vote
IJISEC
2008
15 years 6 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
166
click to vote
IJSN
2007
15 years 6 months ago
2007
: McCullagh and Barreto presented an identity-based authenticated key agreement protocol in CT-RSA 2005. Their protocol was found to be vulnerable to a key-compromise impersonation...