Utilization of Timed Automata as a Verification Tool for Security Protocols.

Ahmet Koltuksuz Burcu Kulahcioglu Murat Ozkan

Published in: SSIRI (Companion) (2010)

Keyphrases

security protocols
timed automata
model checking
cryptographic protocols
automated design
reachability analysis
artificial immune algorithm
cryptographic algorithms
temporal logic
security mechanisms
low cost
security requirements
authentication protocol
security services