Разработка спецификаций безопасных компьютерных систем. Идентификация и аутентификация пользователей сети. Основные положения и структура "Канадских критериев". Функциональные требования к средствам защиты. Произвольное и нормативное управление доступом.