Login / Signup
Formal Reasoning about Physical Properties of Security Protocols.
David A. Basin
Srdjan Capkun
Patrick Schaller
Benedikt Schmidt
Published in:
ACM Trans. Inf. Syst. Secur. (2011)
Keyphrases
</>
security protocols
security properties
automated design
formal model
security services
information systems
formal language
artificial intelligence
computer systems
formal specification
cryptographic algorithms
artificial immune algorithm