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