Using probabilistic automata for security protocols verification
Olga Siedlecka-Lamch, Mirosław Kurkowski, Jacek Piątkowski · Journal of Applied Mathematics and Computational Mechanics · 2016
Journal of Applied Mathematics and Computational Mechanics, Prace Naukowe Instytutu Matematyki i Informatyki, Politechnika Częstochowska, Scientific Research of the Institute of Mathematics and Computer Science, Czestochowa University of Technology