Книги
Главная » Все товары » Нехудожественная литература » Компьютерная литература » Компьютерная безопасность. Хакерство » Безопасность серверов, сетей и информации » Model-checking infinite state systems for information flow security
Книги на OZON.ru — это выгодно!

Model-checking infinite state systems for information flow security

Безопасность серверов, сетей и информации. Model-checking infinite state systems for information flow security

Raghavendra K. R.

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

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

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

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

Страниц: 160 стр.

Information flow properties are a way of specifying security properties of systems, dating back to the work of Goguen and Meseguer in the eighties. In this framework, a system is modeled as having high-level (or confidential) events as well as low-level (or public) events, and a typical property requires that the high-level events should not ''influence'' the occurrence of low-level events. In this book we study the problem of model-checking the well-known trace-based and bisimulation-based information flow security properties for some popular classes of infinite-state system models, and state-based information flow properties for programs.

Товары, похожие на «Model-checking infinite state systems for information flow security»
Цена: 4992,00 руб
Купить
Цена может отличаться от указанной. Цену уточняйте на сайте OZON.ru


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

Дети дельфинов

Дети дельфинов
Цена: 319 р.

"Дети дельфинов" - история о невероятных приключениях самого обычного ...

Bronze Age of DC Comics: 1970-1984

Bronze Age of DC Comics: 1970-1984
Цена: 4 752 р.

Comics grow up the humanized super hero. On December 15, 1978, the dre...

The Golden Age of Botanical Art

The Golden Age of Botanical Art
Цена: 2 756 р.

From some of the earliest attempts at art to the plant hunters of the ...


 
  Copyright © 2010 — 2017 Книги