Ваш любимый книжный интернет-магазин
Перейти на
GlavKniga.SU
Ваш город: Алматы
Ваше местоположение – Алматы
 Да 
От вашего выбора зависит время и стоимость доставки
Корзина: пуста
Авторизация 
  Логин
  
  Пароль
  
Регистрация  Забыли пароль?

Поиск по каталогу 
(строгое соответствие)
ISBN
Фраза в названии или аннотации
Автор
Язык книги
Год издания
с по
Электронный носитель
Тип издания
Вид издания
Отрасли экономики
Отрасли знаний
Сферы деятельности
Надотраслевые технологии
Разделы каталога
худ. литературы

Information Flow Security in Tree-Manipulating Processes. Verifying Safety Hyperproperties Using Abstract Interpretation and Model Checking

В наличии
Местонахождение: АлматыСостояние экземпляра: новый
Бумажная
версия
Автор: M?t? Kov?cs
ISBN: 9783838138800
Год издания: 2014
Формат книги: 60×90/16 (145×215 мм)
Количество страниц: 152
Издательство: S?dwestdeutscher Verlag f?r Hochschulschriften
Цена: 40029 тг
Положить в корзину
Позиции в рубрикаторе
Отрасли знаний:
Код товара: 501034
Способы доставки в город Алматы *
комплектация (срок до отгрузки) не более 2 рабочих дней
Самовывоз из города Алматы (пункты самовывоза партнёра CDEK)
Курьерская доставка CDEK из города Москва
Доставка Почтой России из города Москва
      Аннотация: Enterprise workflows and web services may be highly security critical, because they may be in control of important processes of organizations, while communicating with external partners over the network. On the other hand, these technologies frequently represent data as XML documents, which can be modeled as trees. Therefore, this work introduces general methods to enforce and verify information flow properties of computer programs, which are later specialized to tree-manipulating processes. First, the class of programs are considered that implement transformations from initial states into final states. A runtime monitor and a static analysis are introduced for the enforcement and verification of the information flow properties of these programs. Later, a model checking approach is presented, in order to verify systems that exchange a potentially unbounded sequence of data values with their environment during an execution. In all of the methods discussed abstraction techniques are applied to overapproximate the sets of positions of secrets in the tree-shaped data-values before they are released to the environment.
Ключевые слова: information flow security, abstract interpretation, hyperproperties, semi-structured data, Program Analysis, Model Checking
Похожие издания
Отрасли знаний: Точные науки -> Информатика и программирование
Raghavendra K. R.
Model-checking infinite state systems for information flow security. .
2014 г.,  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...

42249 тг
Бумажная версия