Отрывок: Рассматрим уровни це- лостности в модели Биба как маркеры различного цвета – различные уровни в решетке. Определение 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= = + − ...
Полная запись метаданных
Поле DC Значение Язык
dc.contributor.authorЦибуля, А.Н.-
dc.contributor.authorХо, М.Н.-
dc.date.accessioned2017-01-13 10:05:14-
dc.date.available2017-01-13 10:05:14-
dc.date.issued2015-
dc.identifierDspace\SGAU\20170113\61175ru
dc.identifier.citationТруды Международной научно-технической конференции. Т.1 / под ред. С.А. Прохорова. – Самара: Издательство Самарского научного центра РАН. 2015. – с. 303-305ru
dc.identifier.isbn978-5-93424-734-9-
dc.identifier.urihttp://repo.ssau.ru/handle/Perspektivnye-informacionnye-tehnologii/Modelirovanie-mandatnoi-politiki-celostnosti-informacii-s-ispolzovaniem-apparata-raskrashennyh-setei-Petri-61175-
dc.language.isorusru
dc.publisherИздательство Самарского научного центра РАНru
dc.subjectзащита информацииru
dc.subjectмодель Бибаru
dc.subjectмандатная политикаru
dc.subjectраскрашенная сеть Петриru
dc.titleМоделирование мандатной политики целостности информации с использованием аппарата раскрашенных сетей Петриru
dc.typeArticleru
dc.textpartРассматрим уровни це- лостности в модели Биба как маркеры различного цвета – различные уровни в решетке. Определение 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= = + − ...-
Располагается в коллекциях: Перспективные информационные технологии

Файлы этого ресурса:
Файл Описание Размер Формат  
pit_2015_86.pdfОсновная статья271.01 kBAdobe PDFПросмотреть/Открыть



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