Pattern-Based Abstraction for Verifying Secrecy in Protocols.

Liana Bozga Yassine Lakhnech Michaël Périn

Published in: TACAS (2003)

Keyphrases

key distribution
security properties
mutual authentication
high level
security analysis
key management
communication protocol
secret key
databases
security protocols
model checking
multi party
formal model
decision theoretic planning
spread spectrum
reinforcement learning
web services
information retrieval