Probability timed automata for investigating communication processes

Henryk Piech, and Grzegorz Grodzki. "Probability timed automata for investigating communication processes." International Journal of Applied Mathematics and Computer Science 25.2 (2015): 403-414. <http://eudml.org/doc/270463>.

@article{HenrykPiech2015,
abstract = {Exploitation characteristics behaves as a decreasing valors factor (DVF) which can be connected with degradation processes. It is a structure that consists of independent attributes which represent situations generally connected with a given exploitation factor. The multi-attribute structure contains attributes directly and indirectly referring to the main factor. Attribute states, by definition, can only maintain or decrease their values. Such situations are met in security, reliability, exploitation, fatigues and many complex one-directed or irreversible processes. The main goal refers to protocol security analysis during the realization of the communication run that specifies the assessment of the level of current and oncoming threats connected with cryptography authentication. In the communication run, the operations of different protocols mutually interleave. Our concept is based on the algorithm of attributes correction during exploitation process realization (Blanchet et al., 2008). The monitoring and correcting procedures make it possible to provide forecast information about possible threats on the basis of the structure of the current attribute values.},
author = {Henryk Piech, Grzegorz Grodzki},
journal = {International Journal of Applied Mathematics and Computer Science},
keywords = {protocol logic; probabilistic timed automata; communication security},
language = {eng},
number = {2},
pages = {403-414},
title = {Probability timed automata for investigating communication processes},
url = {http://eudml.org/doc/270463},
volume = {25},
year = {2015},
}

TY - JOUR
AU - Henryk Piech
AU - Grzegorz Grodzki
TI - Probability timed automata for investigating communication processes
JO - International Journal of Applied Mathematics and Computer Science
PY - 2015
VL - 25
IS - 2
SP - 403
EP - 414
AB - Exploitation characteristics behaves as a decreasing valors factor (DVF) which can be connected with degradation processes. It is a structure that consists of independent attributes which represent situations generally connected with a given exploitation factor. The multi-attribute structure contains attributes directly and indirectly referring to the main factor. Attribute states, by definition, can only maintain or decrease their values. Such situations are met in security, reliability, exploitation, fatigues and many complex one-directed or irreversible processes. The main goal refers to protocol security analysis during the realization of the communication run that specifies the assessment of the level of current and oncoming threats connected with cryptography authentication. In the communication run, the operations of different protocols mutually interleave. Our concept is based on the algorithm of attributes correction during exploitation process realization (Blanchet et al., 2008). The monitoring and correcting procedures make it possible to provide forecast information about possible threats on the basis of the structure of the current attribute values.
LA - eng
KW - protocol logic; probabilistic timed automata; communication security
UR - http://eudml.org/doc/270463
ER -