5488 search results - page 154 / 1098 » On the Secure Implementation of Security Protocols |
152
Voted
IACR
2011
14 years 4 months ago
2011
Abstract. We describe and analyze the password-based key establishment protocol PACE v2 Integrated Mapping (IM), an evolution of PACE v1 jointly proposed by Gemalto and Sagem S´ec...
177
Voted
PKC
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. An unresolved problem in research on authenticated key exchange (AKE) is to construct a secure protocol against advanced attacks such as key compromise impersonation and ...
160
click to vote
IJACT
2008
15 years 4 months ago
2008
: Fair exchange protocols allow both or neither of two parties to obtain the other's items, and this property is essential in e-commerce. In this paper, we construct an optimi...
194
click to vote
FOSAD
2009
Springer
15 years 11 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
131
click to vote
CCS
2001
ACM
15 years 9 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...