形式定义的安全性模型

【计】 formally-defined security

形式的英语翻译：

form; format; modality; shape
【法】 form

定义的英语翻译：

define; definition; circumscription
【计】 DEF; define
【医】 definition

安全的英语翻译：

safety; security; sureness
【经】 safety

模型的英语翻译：

former; matrix; model; mould; pattern
【计】 Cook-Torrance model; GT model GT; MOD; model; mosel
【医】 cast; model; mold; mould; pattern; phantom
【经】 matrices; matrix; model; pattern