Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- Формальные модели контроля доступа. Методологические основы корректности реализации механизма управления доступом к ресурсам
- Авторы
- Щеглов А. Ю. info@npp-itb.spb.ru, д-р техн. наук, профессор кафедры вычислительной техники, Национальный исследовательский университет информационных технологий, механики и оптики, Санкт-Петербург, Россия Тел. (812) 324-27-31
Щеглов К. А. , , ,
- В разделе
- ОБЩИЕ ВОПРОСЫ БЕЗОПАСНОСТИ ИНФОРМАЦИИ И ОБЪЕКТОВ
- Ключевые слова
- Год
- 2005 номер журнала 3 Страницы 44 - 53
- Индекс УДК
- Код EDN
- Код DOI
- Финансирование
- Тип статьи
- Научная статья
- Аннотация
- Основополагающим требованием к реализации механизма управления доступом к ресурсам (ключевой механизм защиты информации), в частности, сформулированным в отечественных нормативных документах в области защиты информации, является следующее: "Контроль доступа должен быть применим к каждому объекту и каждому субъекту (индивиду или группе равноправных индивидов)". С выполнением этого требования связаны основные условия корректности реализации механизма защиты, причем как в общем случае, так и применительно к конкретной ОС и к конкретному добавочному средству защиты. В данной работе предлагаются формальные модели контроля доступа, обеспечивающие методологическую основу оценки корректности реализации механизма управления доступом к ресурсам.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
- Купить
