Analysis and simulations of timed security protocols
SZYMONIAK, Sabina.
Analysis and simulations of timed security protocols.
Studia Informatica, [S.l.], v. 38, n. 2, p. 55-66, may 2017.
ISSN 1642-0489. Available at: <http://studiainformatica.polsl.pl/index.php/SI/article/view/801>. Date accessed: 10 july 2017.
doi:http://dx.doi.org/10.21936/si2017_v38.n2.801.