Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski. Timed Analysis of Security Protocols. In Adam Grzech, Jerzy Swiatek, Zofia Wilimowska, Leszek Borzemski, editors, Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology - ISAT 2016 - Part II. Volume 522 of Advances in Intelligent Systems and Computing, pages 53-63, 2016. [doi]
Abstract is missing.