Deciding security properties for cryptographic protocols. Application to key cycles

Hubert Comon-Lundh Véronique Cortier Eugen Zalinescu

Published in: CoRR (2007)

Keyphrases

security properties
cryptographic protocols
security protocols
formal model
security requirements
standard model
artificial intelligence
security analysis
secure communication
similarity measure