Bisimulation and Unwinding for Verifying Possibilistic Security Properties.

Annalisa Bossi Riccardo Focardi Carla Piazza Sabina Rossi

Published in: VMCAI (2003)

Keyphrases

security properties
formal model
security requirements
security analysis
security protocols
model checking
formal methods
security vulnerabilities
cryptographic protocols
key agreement
real time
computer systems
smart card
security policies