Modelchecking Safety Properties in Randomized Security Protocols.

Matthew S. Bauer Rohit Chadha Mahesh Viswanathan

Published in: Logic, Language, and Security (2020)

Keyphrases

security protocols
automated design
security properties
artificial immune algorithm
security services
real time
information systems
case study
database systems
key management
secure communication