АЛГОРИТМЫ ОПРЕДЕЛЕНИЯ БЕЗОПАСНОСТИ СОСТОЯНИЙ КОМПЬЮТЕРНЫХ СИСТЕМ В МОДЕЛИ TAKE-GRANT

Denis Michailovich Brechka


Аннотация


В статье описываются алгоритмы поиска tg-путей, островов и мостов в графе доступа модели Take-Grant. Модель Take-Grant предлагает условия для проверки наличия или отсутствия несанкционированного доступа к компьютерной системе, в данной статье предлагаются алгоритмыпроверки истинности этих условиях. Таким образом, использование модели Take-Grant позволит проверять наличие или отсутствие несанкционированного доступа в компьютерную систему. Важным результатом является то, что все описанные алгоритмы имеют полиномиальную сложность, что делает их пригодными для стандартных компьютеров.

Ключевые слова


БЕЗОПАСНОСТЬ; АЛГОРИТМ; ЗАЩИТА; ОПЕРАЦИОННЫЕ СИСТЕМЫ; СЛОЖНОСТЬ; ОСТРОВА; МОСТЫ

Литература


ISO/IEC 15408-1:2005 Information technology -Security techniques -Evaluation criteria for IT security.

Девянин П.Н. Модели безопасности компьютерных систем. Учеб. пособие для студ. высш. учеб. заведений. М.: Изд. центр «Академия», 2005.

Щеглов А.Ю. Защита компьютерной информации от несанкционированного доступа. СПб.: «Наука и техника», 2004.

Lipton R.J., Snayder L. A linear time algorithm for deciding subject security//Journal of ACM (Addison-Wesley). N.3, 1977. Р. 455-464.

Bishop M. Theft of information in the Take-Grant protection model//Computer security 3 (4), 1994. Р. 283-309.

Frank J., Bishop M., Extending the Take-Grant protection system. Technical report. Department of Computer science, University of California in Davis, 1996. 14 p.

Белим С.В., Бречка Д.М. Исследование безопасности компьютерных систем в модели дискреционного разделения доступа HRU//Математические структуры и моделирование. 2009. Вып. 19. С. 97-103.

Бречка Д.М. Алгоритмы анализа безопасности состояний компьютерной системы для модели Take-Grant//Математические структуры и моделирование. 2009. Вып. 20. С. 160-172.

Белим С.В., Бречка Д.М. Базисный подход в модели безопасности HRU//Проблемы информационной безопасности. Компьютерные системы. 2010. Вып. 2. С. 18-23.

Бречка Д.М. Анализ возможности доступа в модели Take-Grant//В мире научных открытий. 2010. №4 (10). Часть 4. С. 11-13.




DOI: https://doi.org/10.12731/wsd-2014-10-4

Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2016 В мире научных открытий



ISSN 2658-6649 (print)

ISSN 2658-6657 (online)

HotLog Яндекс цитирования