Mikko Kiviharju, Teijo Venäläinen, Suna Kinnunen. Towards Modelling Information Security with Key-Challenge Petri Nets. In Audun Jøsang, Torleiv Maseng, Svein J. Knapskog, editors, Identity and Privacy in the Internet Age, 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009. Proceedings. Volume 5838 of Lecture Notes in Computer Science, pages 190-206, Springer, 2009. [doi]
Abstract is missing.