Modeling Security Protocols as Games

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Mohamed Saleh Articles by Mourad Debbabi

2007 The Third International Symposium on Information Assurance and Security

Manchester, United Kingdom

August 29-August 31

ISBN: 0-7695-2876-7

	ASCII Text	x
	Mohamed Saleh, Mourad Debbabi, "Modeling Security Protocols as Games," Information Assurance and Security, International Symposium on, pp. 253-260, 2007 The Third International Symposium on Information Assurance and Security, 2007.

	BibTex	x
	@article{ 10.1109/IAS.2007.44, author = {Mohamed Saleh and Mourad Debbabi}, title = {Modeling Security Protocols as Games}, journal ={Information Assurance and Security, International Symposium on}, volume = {0}, year = {2007}, isbn = {0-7695-2876-7}, pages = {253-260}, doi = {http://doi.ieeecomputersociety.org/10.1109/IAS.2007.44}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Information Assurance and Security, International Symposium on TI - Modeling Security Protocols as Games SN - 0-7695-2876-7 SP253 EP260 A1 - Mohamed Saleh, A1 - Mourad Debbabi, PY - 2007 KW - Security protocols KW - Game semantics KW - Modeling cryptographic protocols. VL - 0 JA - Information Assurance and Security, International Symposium on ER -

Mohamed Saleh, Concordia University, Canada

Mourad Debbabi, Concordia University, Canada

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IAS.2007.44

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.

Index Terms:

Security protocols, Game semantics, Modeling cryptographic protocols.

Citation:

Mohamed Saleh, Mourad Debbabi, "Modeling Security Protocols as Games," ias, pp.253-260, 2007 The Third International Symposium on Information Assurance and Security, 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.