Информация о книге

9783838377803

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Основы информационных технологий » Информатика » Model checking trace-based information flow properties

Ramesh R., Sprick D., Model checking trace-based information flow properties

LAP Lambert Academic Publishing, 2012 г., 64 стр., 9783838377803


Описание книги

Information flow properties are a way of specifying security properties of systems. A system is viewed as generating traces containing “confidential” and “visible” events (only the latter being observable by a “low-level” user) and the information flow properties specify restrictions on the kind of traces the system may generate, so as to restrict the amount of information a low-level user can infer about confidential events having taken place (or not) in an execution. Mantel identifies \"basic security predicates” or BSPs and shows them to be the building blocks of most of the known trace-based properties in the literature. Traditionally BSPs have been reasoned about via unwinding conditions that capture whether a system satisfies a particular BSP. First, we show that the checking of unwinding conditions can be simplified to checking conditions on a maximal simulation relation. Second, we show that the BSPs can be characterized in terms of regularity preserving language-theoretic...

Поделиться ссылкой на книгу




Об авторе

Ramesh R.

Sprick D.


Последние поступления в рубрике "Информатика"



Наука о данных. Базовый курс Наука о данных. Базовый курс Келлехер Д.

Сегодня наука о данных используется практически во всех сферах: вы видите подобранные специально для вас рекламные объявления, рекомендованные на основе ваших предпочтений фильмы и книги, ссылки на предполагаемых друзей в соцсетях, отфильтрованные......

Теория конфликтов и игр Теория конфликтов и игр Смольяков Э.Р.

Предлагаемая монография представляет собой введение в совершенно новую научную дисциплину - теорию конфликтных равновесий, которая со временем найдет естественные приложения в любых областях человеческой деятельности -......

Homo Roboticus? Люди и машины в поисках взаимопонимания Homo Roboticus? Люди и машины в поисках взаимопонимания Маркофф Д.

Хотим мы этого или нет, но скоро нам придется сосуществовать с автономными машинами. Уже сейчас мы тратим заметную часть времени на взаимодействие с механическими подобиями людей в видеоиграх или в виртуальных системах - от FAQbots до Siri. Кем они......

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Ramesh R., Sprick D., Model checking trace-based information flow properties в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.