Olga Siedlecka-Lamch, Imed El Fray, Miroslaw Kurkowski, Jerzy Pejas. Verification of Mutual Authentication Protocol for MobInfoSec System. In Khalid Saeed, Wladyslaw Homenda, editors, Computer Information Systems and Industrial Management - 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015. Proceedings. Volume 9339 of Lecture Notes in Computer Science, pages 461-474, Springer, 2015. [doi]
Abstract is missing.