?正式保全政策模型
... typed formal description model 类型化的形式化描述模型 formal security policy model 正式保全政策模型 Formal Model Checking 形式模型检查 ...
?形式化安全策略模型
形式化安全策略模型
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。