%0 Conference Paper %1 conf/icfem/DebbabiS05 %A Debbabi, Mourad %A Saleh, Mohamed Mostafa %B ICFEM %D 2005 %E Lau, Kung-Kiu %E Banach, Richard %I Springer %K dblp %P 125-140 %T Game Semantics Model for Security Protocols. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2005.html#DebbabiS05 %V 3785 %@ 3-540-29797-9

@inproceedings{conf/icfem/DebbabiS05, added-at = {2024-05-07T00:00:00.000+0200}, author = {Debbabi, Mourad and Saleh, Mohamed Mostafa}, biburl = {https://www.bibsonomy.org/bibtex/22bf295f10ec4680876479a74625786f0/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2005}, editor = {Lau, Kung-Kiu and Banach, Richard}, ee = {https://doi.org/10.1007/11576280_10}, interhash = {19024452b748bab28942b7de301870f9}, intrahash = {2bf295f10ec4680876479a74625786f0}, isbn = {3-540-29797-9}, keywords = {dblp}, pages = {125-140}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:47:56.000+0200}, title = {Game Semantics Model for Security Protocols.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2005.html#DebbabiS05}, volume = 3785, year = 2005 }