Title :
Modeling Security Protocols as Games
Author :
Saleh, Mohamed ; Debbabi, Mourad
Author_Institution :
Concordia Univ., Montreal
Abstract :
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type of the protocol. The specifications are written in the simple arrow notation commonly used. The model allows us to give formal semantics to this notation. Furthermore, the model can be used for verification of various security properties.
Keywords :
cryptographic protocols; game theory; trees (mathematics); cryptographic protocol; formal semantics; game semantics; game tree; protocol specification; security protocol; Algebra; Authentication; Computational modeling; Counting circuits; Cryptographic protocols; Cryptography; Equations; Information security; Information systems; Systems engineering and theory; Game semantics; Modeling cryptographic protocols.; Security protocols;
Conference_Titel :
Information Assurance and Security, 2007. IAS 2007. Third International Symposium on
Conference_Location :
Manchester
Print_ISBN :
0-7695-2876-7
Electronic_ISBN :
978-0-7695-2876-2
DOI :
10.1109/IAS.2007.44
