Olga Siedlecka-Lamch, Miroslaw Kurkowski, Jacek Piatkowski. Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption. In Piotr Gaj, Andrzej Kwiecien, Piotr Stera, editors, Computer Networks - 23rd International Conference, CN 2016, Brunów, Poland, June 14-17, 2016, Proceedings. Volume 608 of Communications in Computer and Information Science, pages 107-117, Springer, 2016. [doi]
Abstract is missing.