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
Department:
Oxford, MPLS, Computer Science
Role:
Author
Journal:
Proceedings of the Computer Security Foundations Workshop
Pages:
78-94
Publication date:
2012-01-01
DOI:
ISSN:
1063-6900
URN:
uuid:02a856d5-3fbc-42b7-a514-2cca289f34c3
Source identifiers:
427721
Local pid:
pubs:427721
Language:
English

Terms of use


Metrics


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