Описание
Timed Automata as a Verification Tool for Security Protocols
Артикул Маркета
5951533671
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.
Пэй
2 070 ₽
–47%
–200 ₽
С доставкой по клику
Заказ от 1500₽
Пэй
2 070 ₽
–47%
Доставка Маркета
2 окт, по клику 0 ₽
Москва
2 окт, пункт выдачи 0 ₽
Москва
Быстрый возврат
О возвратах
Т8 Издательские Технологии
Магазин
19.1Kзаказов
593подписчика
6лет на Маркете
О товаре
Описание
Печатная книга «Timed Automata as a Verification Tool for Security Protocols» в мягкой обложке, язык - английский. В книге 104 страниц, она напечатана на белой офсетной бумаге плотностью 80 г/м². Формат издания — 152x229 мм. Все книги аккуратно упаковываем в прочный трёхслойный непрозрачный картонный конверт.
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 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.
Характеристики
Артикул Маркета
5951533671
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.Возрастное ограничение 18+
Нет отзывов и оценок
Но можно задать вопрос, чтобы узнать о товаре больше
Рекомендуем
Цена с картой Яндекс Пэй 1280 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1349 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1625 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 751 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1991 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 573 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 279 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 216 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 2466 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 877 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 871 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1312 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 523 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 655 ₽ вместо
Пэй
Войдите в аккаунтИ тогда откроется корзина, а цены на Маркете могут стать ниже
