ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Формальная модель политики безопасности необходима в процессе настройки и обучения механизмов защиты. В статье предлагается учитывать многоуровневую модель вычислительной сети, информационные потоки и объекты, которые представлены на этих уровнях разными сущностями. Предлагается формальный метод для учета на каждом уровне сети требований по безопасности информации прикладного уровня, для которой первоначально формулируются требования конфиденциальности, целостности и доступности.