Security properties: Two agents are sufficient

DOI10.1007/3-540-36575-3_8MaRDI QIDQ4417886zbMATH OpenFDO

Authors Hubert Comon-Lundh, Véronique Cortier

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2618/26180099.htm

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Security properties: two agents are sufficient
• scientific article; zbMATH DE number 3965967
• Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions
• Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
• Secure agents

Cited in

(7)

• Security properties: two agents are sufficient
• On the relationships between models in protocol verification
• Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically
• Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case
• A Symbolic Framework to Analyse Physical Proximity in Security Protocols
• Distributed temporal logic for the analysis of security protocol models
• One vote is enough for analysing privacy

This page was built for publication: Security properties: Two agents are sufficient

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417886)