Timed models of security protocols including delays in the network

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
id doaj-365a4b312afa43e5a11f5b16c0aee92c
record_format Article
spelling doaj-365a4b312afa43e5a11f5b16c0aee92c2020-11-24T23:34:31ZengThe Publishing Office of Czestochowa University of TechnologyJournal of Applied Mathematics and Computational Mechanics2299-99652353-05882015-09-0114312713910.17512/jamcm.2015.3.1439Timed models of security protocols including delays in the networkSabina SzymoniakMirosław KurkowskiJacek Piątkowski http://amcm.pcz.pl/get.php?article=2015_3/art_14.pdf
collection DOAJ
language English
format Article
sources DOAJ
author Sabina Szymoniak
Mirosław Kurkowski
Jacek Piątkowski
spellingShingle Sabina Szymoniak
Mirosław Kurkowski
Jacek Piątkowski
Timed models of security protocols including delays in the network
Journal of Applied Mathematics and Computational Mechanics
author_facet Sabina Szymoniak
Mirosław Kurkowski
Jacek Piątkowski
author_sort Sabina Szymoniak
title Timed models of security protocols including delays in the network
title_short Timed models of security protocols including delays in the network
title_full Timed models of security protocols including delays in the network
title_fullStr Timed models of security protocols including delays in the network
title_full_unstemmed Timed models of security protocols including delays in the network
title_sort timed models of security protocols including delays in the network
publisher The Publishing Office of Czestochowa University of Technology
series Journal of Applied Mathematics and Computational Mechanics
issn 2299-9965
2353-0588
publishDate 2015-09-01
url http://amcm.pcz.pl/get.php?article=2015_3/art_14.pdf
work_keys_str_mv AT sabinaszymoniak timedmodelsofsecurityprotocolsincludingdelaysinthenetwork
AT mirosławkurkowski timedmodelsofsecurityprotocolsincludingdelaysinthenetwork
AT jacekpiatkowski timedmodelsofsecurityprotocolsincludingdelaysinthenetwork
_version_ 1725529154417328128

Similar Items