Репозиторий Самарского университета

Отрывок: Рассматрим уровни це- лостности в модели Биба как маркеры различного цвета – различные уровни в решетке. Определение 2. Для представления операции "Чтение" модели Биба мо- жет быть использована следующая раскрашенная сеть Петри, представленная на рисунке 1: _ R {P,T,C,W,m }0C = {S,O}P = ; {Re }T ad= ; {INFO IL}C = + ; С(INFO)=infoO | infoS; C(IL)=i(o)+i(s); {w(S,Re ) infoO min[i(s),i(o)] i(s),w(O,Write) 0}W ad= = + − ...

Название :	Моделирование мандатной политики целостности информации с использованием аппарата раскрашенных сетей Петри
Авторы/Редакторы :	Цибуля, А.Н. Хо, М.Н.
Ключевые слова :	защита информации модель Биба мандатная политика раскрашенная сеть Петри
Дата публикации :	2015
Издательство :	Издательство Самарского научного центра РАН
Библиографическое описание :	Труды Международной научно-технической конференции. Т.1 / под ред. С.А. Прохорова. – Самара: Издательство Самарского научного центра РАН. 2015. – с. 303-305
URI (Унифицированный идентификатор ресурса) :	http://repo.ssau.ru/handle/Perspektivnye-informacionnye-tehnologii/Modelirovanie-mandatnoi-politiki-celostnosti-informacii-s-ispolzovaniem-apparata-raskrashennyh-setei-Petri-61175
ISBN :	978-5-93424-734-9
Другие идентификаторы :	Dspace\SGAU\20170113\61175
Располагается в коллекциях:	Перспективные информационные технологии

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.