Англо-русский словарь по компьютерной безопасности

PROVABLY SECURE SYSTEM

доказуемо безопасная система