Verifying persistent security properties.

Annalisa Bossi Riccardo Focardi Carla Piazza Sabina Rossi

Published in: Comput. Lang. Syst. Struct. (2004)

Keyphrases

security properties
formal model
security requirements
security analysis
security protocols
model checking
cryptographic protocols
security vulnerabilities
formal methods
expert systems
public key
key agreement
case study