Книги
Главная » Все товары » Нехудожественная литература » Компьютерная литература » Компьютерная безопасность. Хакерство » Безопасность серверов, сетей и информации » Timed Automata as a Verification Tool for Security Protocols
Книги на OZON.ru — это выгодно!

Timed Automata as a Verification Tool for Security Protocols

Безопасность серверов, сетей и информации. Timed Automata as a Verification Tool for Security Protocols

Burcu Kulahc?oglu

Тип продукции:

Год выхода: 2011 г.

Производитель/Издатель: LAP Lambert Academic Publishing

Наличие: Отгружается в течение двух недель

Timed automata is an extension to the automata-theoretic approach to the modeling of real time systems that introduces time into the classical automata. Since it has been first proposed in the early nineties, it has become an important research area and been widely studied in both the context of formal languages and modeling and verification of real time systems. Timed automata use dense time modeling, allowing efficient model checking of time-sensitive systems whose correct functioning depend on the timing properties. One of these application areas is the verification of security protocols. This book focuses on the timed automata model and utilizes it as a verification tool for security protocols. As a case study, the Neuman-Stubblebine Repeated Authentication Protocol is modeled and verified employing the time-sensitive properties in the model. The flaws of the protocol are analyzed and it is commented on the benefits and challenges of the model.

Товары, похожие на «Timed Automata as a Verification Tool for Security Protocols»
Цена: 4376,00 руб
Купить
Цена может отличаться от указанной. Цену уточняйте на сайте OZON.ru


Популярные товары

Педагогическая психология. Учебник

Педагогическая психология. Учебник
Цена: 927 р.

Учебник написан в соответствии со стандартами подготовки педагогов и п...

Князь Серебряный

Князь Серебряный
Цена: 155 р.

Исторический роман о времени правления И.Грозного. Главное в романе - ...

М. Ю. Лермонтов. Поэмы

М. Ю. Лермонтов. Поэмы
Цена: 172 р.

В книгу великого русского поэта Михаила Юрьевича Лермонтова входят поэ...


Все путеводители

Books in English
 
  Copyright © 2010 — 2017 Книги