Книги
Главная » Все товары » Нехудожественная литература » Компьютерная литература » Компьютерная безопасность. Хакерство » Безопасность серверов, сетей и информации » 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


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

Политехнический русский

Политехнический русский
Цена: 242 р.

Учебник русского языка предназначен для иностранных студентов техничес...

Гуманная пуля. Книга о науке, политике, истории и ...

Гуманная пуля. Книга о науке, политике, истории и будущем
Цена: 210 р.

В сборник вошли лучшие произведения Захара Оскотского в жанре публицис...

Психология и педагогика

Психология и педагогика
Цена: 1 070 р.

В учебнике лаконично рассмотрены главные проблемы и основополагающие п...


Сентиментальный роман

Самые популярные авторы
 
  Copyright © 2010 — 2018 Книги