Journal article icon

Journal article

Automated analysis of diffie-hellman protocols and advanced security properties

Abstract:

We present a general approach for the symbolic analysis of security protocols that use Diffie-Hellman exponentiation to achieve advanced security properties. We model protocols as multiset rewriting systems and security properties as first-order formulas. We analyze them using a novel constraint-solving algorithm that supports both falsification and verification, even in the presence of an unbounded number of protocol sessions. The algorithm exploits the finite variant property and builds on ...

Expand abstract

Actions


Access Document


Publisher copy:
10.1109/CSF.2012.25

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Journal:
Proceedings of the Computer Security Foundations Workshop
Pages:
78-94
Publication date:
2012-01-01
DOI:
ISSN:
1063-6900
Source identifiers:
427721
Language:
English
Pubs id:
pubs:427721
UUID:
uuid:02a856d5-3fbc-42b7-a514-2cca289f34c3
Local pid:
pubs:427721
Deposit date:
2013-11-16

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP