增强视景系统形式化安全性分析方法研究

摘要

cqvip:针对传统方法分析增强视景系统所产生的工作量大、依赖安全性分析人员经验、容易出现疏漏等问题,提出了增强视景系统形式化安全性分析方法,即在分析系统需求和安全性需求基础上,利用形式化分层建模方法建立增强视景系统名义模型和失效模型,并针对典型失效状态进行形式化安全性分析,得出定性和定量安全性分析结论。研究结果表明,所提出的方法能够提高安全性分析效率,可降低安全性分析工作量。