International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: The Layered Games Framework for Specifications and Analysis of Security Protocols

Authors:
Amir Herzberg
Igal Yoffe
Download:
DOI: 10.1007/978-3-540-78524-8_8
URL: https://iacr.org/archive/tcc2008/49480120/49480120.pdf
Search ePrint
Search Google
Conference: TCC 2008
BibTeX
@inproceedings{tcc-2008-14369,
  title={The Layered Games Framework for Specifications and Analysis of Security Protocols},
  booktitle={Theory of Cryptography, Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008.},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={4948},
  pages={125-141},
  url={https://iacr.org/archive/tcc2008/49480120/49480120.pdf},
  doi={10.1007/978-3-540-78524-8_8},
  author={Amir Herzberg and Igal Yoffe},
  year=2008
}