| 安全策略及设计规范的半形式化方法 |
| 邓辉;石竑松;张宝峰;杨永生;刘晖; |
| 关键词：安全策略;设计规范;半形式化 |
| 主要内容：对安全功能要求的错误理解会在IT产品中引入内在的安全缺陷。半形式化方法可提高描述安全功能要求的准确性,增强设计的合理性,从而有助于降低引入安全缺陷的风险。因此,该文将重点研究产品安全策略及设计规范的半形式化描述及验证方法。首先,论述了通过分 |
| 《清华大学学报(自然科学版)》 2017,57(07):695-701 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号