Analiza i symulacje czasowych protokołów zabezpieczających
PBN-AR
Instytucja
Wydział Inżynierii Mechanicznej i Informatyki (Politechnika Częstochowska)
Informacje podstawowe
Główny język publikacji
pl
Czasopismo
Studia Informatica (9pkt w roku publikacji)
ISSN
1642-0489
EISSN
Wydawca
Silesian University of Technology
DOI
URL
Rok publikacji
2017
Numer zeszytu
Strony od-do
53-66
Numer tomu
Vol.38, nr 2 (131)
Link do pełnego tekstu
Identyfikator DOI
Liczba arkuszy
Autorzy
(liczba autorów: 1)
Słowa kluczowe
en
simulations
security protocols
timed analysis
pl
protokoły zabezpieczające
symulacje
analiza czasów
Streszczenia
Język
en
Treść
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.
Język
pl
Treść
W pracy zawarto opis problemu weryfikacji czasowych protokołów zabezpieczających przy uwzględnieniu opóźnień w sieci. Za pomocą specjalnie skonstruowanego modelu formalnego, który stał się podstawą do implementacji narzędzia, możliwe jest obliczanie czasu poprawnego wykonania protokołu. Narzędzie umożliwia przeprowadzenie badań czasowych protokołów zabezpieczających, w tym przeprowadzenie symulacji.
Cechy publikacji
original-article
Inne
System-identifier
54482