%A 邓辉, 石竑松, 张宝峰, 杨永生, 刘晖 %T 安全策略及设计规范的半形式化方法 %0 Journal Article %D 2017 %J 清华大学学报(自然科学版) %R 10.16511/j.cnki.qhdxxb.2017.25.024 %P 695-701 %V 57 %N 7 %U {http://jst.tsinghuajournals.com/CN/abstract/article_150013.shtml} %8 2017-07-15 %X 对安全功能要求的错误理解会在IT产品中引入内在的安全缺陷。半形式化方法可提高描述安全功能要求的准确性,增强设计的合理性,从而有助于降低引入安全缺陷的风险。因此,该文将重点研究产品安全策略及设计规范的半形式化描述及验证方法。首先,论述了通过分析安全功能接口,从安全功能要求中提取安全策略,以及从模块设计中提取设计规范的一般方法,给出了降低耦合性的子系统和模块划分规则;其次,通过选择和改进现有的半形式化工具,给出了描述安全策略以及设计规范的半形式化方法;最后,以IC卡芯片产品的测评为例,通过对部分安全策略以及设计规范进行半形式化处理,论证了产品所采取的安全策略可使安全功能要求得以充分满足,且相应的设计规范也是合理的。结果表明:该文所建立的半形式化方法在一定程度上适于所有信息技术产品的安全测评。