Полный англо-русский словарь
Уровень безопасности B3 (требующий наличия математической модели системы, в рамках которой возможно доказательство факта надлежащей защищенности)