Forbidden City Model - Towards a Practice Relevant Framework for Designing Cryptographic Protocols

Miroslaw Kutylowski, Lucjan Hanzlik, Kamil Kluczniak, Przemyslaw Kubiak, Lukasz Krzywiecki. Forbidden City Model - Towards a Practice Relevant Framework for Designing Cryptographic Protocols. In Xinyi Huang, Jianying Zhou, editors, Information Security Practice and Experience - 10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014. Proceedings. Volume 8434 of Lecture Notes in Computer Science, pages 42-59, Springer, 2014. [doi]

@inproceedings{KutylowskiHKKK14,
  title = {Forbidden City Model - Towards a Practice Relevant Framework for Designing Cryptographic Protocols},
  author = {Miroslaw Kutylowski and Lucjan Hanzlik and Kamil Kluczniak and Przemyslaw Kubiak and Lukasz Krzywiecki},
  year = {2014},
  doi = {10.1007/978-3-319-06320-1_5},
  url = {http://dx.doi.org/10.1007/978-3-319-06320-1_5},
  researchr = {https://researchr.org/publication/KutylowskiHKKK14},
  cites = {0},
  citedby = {0},
  pages = {42-59},
  booktitle = {Information Security Practice and Experience - 10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014. Proceedings},
  editor = {Xinyi Huang and Jianying Zhou},
  volume = {8434},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-06319-5},
}