Login / Signup
MECA: an extensible, expressive system and language for statically checking security properties.
Junfeng Yang
Ted Kremenek
Yichen Xie
Dawson R. Engler
Published in:
CCS (2003)
Keyphrases
</>
security properties
formal model
security requirements
security protocols
security analysis
highly expressive
key agreement
object oriented
cryptographic protocols
security vulnerabilities
data model
formal methods
natural language
databases
case study
lightweight