Login / Signup
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols.
John A. Clark
Jeremy L. Jacob
Published in:
IEEE Symposium on Security and Privacy (2000)
Keyphrases
</>
provably secure
software engineering
knn
security model