Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Journal of Applied Mathematics and Computational Mechanics

1 2016

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: verification of security protocols

Sortuj według:

Ogranicz wyniki do:

Using probabilistic automata for security protocols verification

Siedlecka-Lamch O., Kurkowski M., Piątkowski J.

Journal of Applied Mathematics and Computational Mechanics

2016

Vol. 15, nr 2

119--125

The article discusses the issues of modeling and the analysis of executions, which is a substantial part of modern communication protocols - authentication protocols, which are generally referred to herein as security protocols. The article presents a way of security protocols executions analysis with the use of probabilistic automata, without well known and widely used perfect cryptography assumption (we assume allowing the possibility of breaking a key with a specified probability). This type of analysis leads to interesting observations about the operation of the protocol and its weaknesses.