Automated Formal Verification of Application-specific Security Properties.

Piergiuseppe Bettassa Copet Riccardo Sisto

Published in: ESSoS (2014)

Keyphrases

application specific
formal verification
security properties
cryptographic protocols
general purpose
model checking
security analysis
security protocols
security requirements
formal model
formal methods
computation intensive
smart card
file system
software engineering
lightweight