модель, математически точно отображающая принятую политику (обеспечения) безопасности
FORMAL SECURITY MODEL
Англо-русский перевод FORMAL SECURITY MODEL
English-Russian dictionary of computer security. Англо-Русский словарь компьютерной безопасности. 2012