Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

IEEEIAS
2007
IEEE

favoriteEmaildiscussreport

126views Information Technology» more IEEEIAS 2007»

Modeling Security Protocols as Games

13 years 11 months ago

Modeling Security Protocols as Games

Download users.encs.concordia.ca

We model security protocols as a game tree using concepts of game semantics. The model interprets protocol speciﬁcations as strategies over a game tree that represents the type of the protocol. The speciﬁcations 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 veriﬁcation of various security properties. Keywords Security protocols, Game semantics, Modeling cryptographic protocols.

Mohamed Saleh, Mourad Debbabi

Real-time Traffic

Game Semantics | Game Tree | IEEEIAS 2007 | Information Technology | Security Protocols |

claim paper

Related Content

» Verifying Security Properties of Cryptoprotocols A Novel Approach

» A Computationally Sound Mechanized Prover for Security Protocols

» Bayesian Analysis of Secure P2P Sharing Protocols

» GameBased Analysis of DenialofService Prevention Protocols

» Probabilistic event resolution with the pairwise random protocol

» Automated Security Proofs with Sequences of Games

» A Novel Coalitional Game Model for Security Issues in Wireless Networks

» Lawgoverned Linda as a semantics for agent dialogue protocols

» Game Theoretic Modeling of Malicious Users in Collaborative Networks

Post Info
More Details (n/a)

Added	03 Jun 2010
Updated	03 Jun 2010
Type	Conference
Year	2007
Where	IEEEIAS
Authors	Mohamed Saleh, Mourad Debbabi

Comments (0)