Login / Signup
Modeling Partial Attacks with Alloy.
Amerson Lin
Mike Bond
Jolyon Clulow
Published in:
Security Protocols Workshop (2007)
Keyphrases
</>
countermeasures
case study
modeling method