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]
Abstract is missing.