Modeling Security Protocols as Games

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 Security protocols, Game semantics, Modeling cryptographic protocols.

• Type: Conference
• Year: 2007
• Where: IEEEIAS
• Authors: Mohamed Saleh, Mourad Debbabi
• Keywords: Game Semantics, Game Tree, IEEEIAS 2007, Information Technology, Security Protocols