Formal Verification of Application-Specific Security Properties in a Model-Driven Approach.

Nina Moebius Kurt Stenzel Wolfgang Reif

Published in: ESSoS (2010)

Keyphrases

application specific
formal verification
security properties
cryptographic protocols
general purpose
model checking
formal model
security requirements
formal methods
security analysis
security protocols
metamodel
computation intensive
database
software systems