Timed models of security protocols including delays in the network
Sabina Szymoniak, Mirosław Kurkowski, Jacek Piątkowski · Journal of Applied Mathematics and Computational Mechanics · 2015
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