Modeling Human Errors in Security Protocols.

David A. Basin Sasa Radomirovic Lara Schmid

Published in: CSF (2016)

Keyphrases

security protocols
human errors
automated design
scoring methods
database
authentication protocol