| |
| Dublin Core |
PKP Metadata Items |
Metadata for this Document |
| |
| 1. |
Title |
Title of document |
Analysis and simulations of timed security protocols |
| |
| 2. |
Creator |
Author's name, affiliation, country |
Sabina Szymoniak; Czestochowa University of Technology, Institute of Computer and Information Sciences; Poland |
| |
| 3. |
Subject |
Discipline(s) |
|
| |
| 3. |
Subject |
Keyword(s) |
timed analysis; security protocols; simulations |
| |
| 4. |
Description |
Abstract |
This paper contains a description of the problem of timed security protocols verification, taking into account delays in the network. Using a specially constructed formal model, which became the basis for the implementation of the special tool, it is possible to calculate the correct time of execution protocol. The tool enables testing timed security protocols, including simulations. |
| |
| 5. |
Publisher |
Organizing agency, location |
Silesian University of Technology Press |
| |
| 6. |
Contributor |
Sponsor(s) |
|
| |
| 7. |
Date |
(YYYY-MM-DD) |
2017-05-30
|
| |
| 8. |
Type |
Status & genre |
Peer-reviewed Article |
| |
| 8. |
Type |
Type |
|
| |
| 9. |
Format |
File format |
PDF (Polski) |
| |
| 10. |
Identifier |
Uniform Resource Identifier |
http://studiainformatica.polsl.pl/index.php/SI/article/view/801 |
| |
| 10. |
Identifier |
Digital Object Identifier (DOI) |
http://dx.doi.org/10.21936/si2017_v38.n2.801 |
| |
| 11. |
Source |
Title; vol., no. (year) |
Studia Informatica; Vol 38, No 2 (2017) |
| |
| 12. |
Language |
English=en |
pl |
| |
| 13. |
Relation |
Supp. Files |
|
| |
| 14. |
Coverage |
Geo-spatial location, chronological period, research sample (gender, age, etc.) |
|
| |
| 15. |
Rights |
Copyright and permissions |
Copyright (c) 2017 Studia Informatica
|