-
Ruský jazyk
Awtomaticheskie dannye po wremeni kak instrument prowerki dlq protokolow bezopasnosti
Autor: Burku Külahchioglu
Awtomaty wremeni - äto dopolnenie k teoretiko-teoreticheskomu podhodu k modelirowaniü sistem real'nogo wremeni, kotoroe wwodit wremq w klassicheskie awtomaty. S teh por, kak on byl wperwye predlozhen w nachale dewqnostyh godow, on stal wazhnoj issledowatel'skoj... Viac o knihe
Na objednávku, dodanie 2-4 týždne
45.36 €
bežná cena: 50.40 €
O knihe
Awtomaty wremeni - äto dopolnenie k teoretiko-teoreticheskomu podhodu k modelirowaniü sistem real'nogo wremeni, kotoroe wwodit wremq w klassicheskie awtomaty. S teh por, kak on byl wperwye predlozhen w nachale dewqnostyh godow, on stal wazhnoj issledowatel'skoj oblast'ü i shiroko izuchaetsq kak w kontexte formal'nyh qzykow, tak i pri modelirowanii i werifikacii sistem real'nogo wremeni. Awtomaty real'nogo wremeni ispol'zuüt modelirowanie plotnogo wremeni, chto pozwolqet äffektiwno prowerqt' modeli chuwstwitel'nyh ko wremeni sistem, prawil'noe funkcionirowanie kotoryh zawisit ot wremennyh swojstw. Odnoj iz takih oblastej primeneniq qwlqetsq prowerka protokolow bezopasnosti. Jeta kniga fokusiruetsq na modeli awtomatizacii s tajmerom i ispol'zuet ee w kachestwe instrumenta prowerki protokolow bezopasnosti. V kachestwe primera mozhno priwesti powtorqüschijsq protokol autentifikacii Neuman-Stubblebine, kotoryj modeliruetsq i prowerqetsq s ispol'zowaniem chuwstwitel'nyh ko wremeni swojstw modeli. Nedostatki protokola analiziruütsq i kommentiruütsq preimuschestwa i problemy modeli.
- Vydavateľstvo: Sciencia Scripts
- Rok vydania: 2021
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Ruský jazyk
- ISBN: 9786203133530
Nemecký jazyk 
Anglický jazyk 
