Timed models of security protocols including delays in the network

Bibliographic Details
Main Authors: Sabina Szymoniak, Mirosław Kurkowski, Jacek Piątkowski
Format: Article
Language:English
Published: The Publishing Office of Czestochowa University of Technology 2015-09-01
Series:Journal of Applied Mathematics and Computational Mechanics
Online Access: http://amcm.pcz.pl/get.php?article=2015_3/art_14.pdf