Większość systemów informatycznych można modelować z wykorzystaniem różnego rodzaju automatów skończonych: deterministycznych, niedeterministycznych, probabilistycznych itp. Automaty te można badać pod kątem osiągalności określonych stanów i dzięki temu sprawdzać, czy system może znaleźć się w stanie krytycznym, błędnym, niechcianym. Mamy również możliwość dokonania operacji minimalizacji automatów. Praktycznie ogranicza się to do znalezienia stanów nadmiarowych i nieosiągalnych – dzięki czemu mamy również sposobność zminimalizować oryginalny, modelowany system, zaoszczędzić na dokonywanych operacjach, pamięci, a nawet sprzęcie.
EN
Most IT systems can be modeled with the use of various types of finite automata: deterministic, non-deterministic, probabilistic, etc. These automatons can be tested for reachability of certain states and thus we can check whether the system can be in a critical, erroneous or unwanted state. We also have the ability to perform the operation of automata minimization. Practically, this is limited to finding redundant and unreachable states – so we also have the opportunity to minimize the original, modeled system, save on operations amount, memory, and even hardware.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Artykuł porusza problem weryfikacji części protokołów komunikacyjnych dotyczącej zabezpieczenia uwierzytelniania i danych przesyłanych przez sieć. Przedstawiono probabilistyczną analizę wykonań protokołów bezpieczeństwa (przy wykorzystaniu automatów probabilistycznych) z uwzględnieniem pewnego, określonego, niewielkiego prawdopodobieństwa złamania/przejęcia kluczy szyfrujących. Poniższa analiza może umożliwić użytkownikom i administratorom sieci dobranie protokołów i poziomu bezpieczeństwa kluczy (siły ich szyfrowania) do realnych wymagań sieci i komunikacji.
EN
The article shows the communication protocol modelling problem (especially it's part connected with authentication and data security). The probabilistic executions analysis was shown (with use of the probabilistic automata model) taking into account certain, specific, small probability of breaking/interception of encryption keys. This type of analysis may provide users and network administrators protocols and level of security keys selection (strength of encryption) to the real requirements of network and communication.
The first step to make transitional systems more efficient is to minimize the number of their states. A bisimulation relation is a mathematical tool that helps in searching for equivalent systems, what is useful in the minimization of algorithms. For two transition systems bisimulation is a binary relation associating systems which behave in the same way in the sense that one system simulates the other and viceversa. The definition for classical systems is clear and simple, but what happens with nondeterministic, probabilistic and quantum systems? This will be the main topic of this article.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.