Transparency Enhancing Technologies to Make Security Protocols Work for Humans.

Alexander Hicks Steven J. Murdoch

Published in: Security Protocols Workshop (2019)

Keyphrases

security protocols
automated design
security services
security properties
artificial immune algorithm
secure communication
cryptographic algorithms
key management
authentication protocol
data mining
rfid tags
security requirements
cryptographic protocols
formal model