Burku Külahchioglu

Awtomaticheskie dannye po wremeni kak instrument prowerki dlq protokolow bezopasnosti

Analiz konkretnogo sluchaq

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Sciencia Scripts
• Seitenzahl: 100
• Erscheinungstermin: 26. August 2021
• Russisch
• Abmessung: 220mm x 150mm x 6mm
• Gewicht: 167g
• ISBN-13: 9786203133530
• ISBN-10: 6203133531
• Artikelnr.: 62511948

Autorenporträt

Burku Kulahchioglu, magistr nauk: Student bakalawra komp'üternoj inzhenerii w Uniwersitete Editepe. Poluchil stepen' magistra w Izmirskom tehnologicheskom institute. Oblast' nauchnyh interesow wklüchaet teoriü wremennyh awtomatow, modelirowanie i werifikaciü sistem real'nogo wremeni i teoreticheskie osnowy komp'üternoj nauki. Nauchnyj assistent w Uniwersitete Yasar, Izmir.