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
Authors
Bibliographic Details
- Journal:
- Proceedings of the Computer Security Foundations Workshop
- Pages:
- 78-94
- Publication date:
- 2012-01-01
- DOI:
- ISSN:
-
1063-6900
- Source identifiers:
-
427721
Item Description
- 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
- Copyright date:
- 2012
If you are the owner of this record, you can report an update to it here: Report update to this record