基于UML和模型检测的安全模型验证方法
| Data(s) |
2009
|
|---|---|
| Resumo |
安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转换工具将UML图转化为模型检测器的输入语言,最后由模型检测器来验证安全模型对于安全需求的满足性.作者使用该方法验证了DBLP和SLCF模型对机密性原则的违反. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
程亮;张阳.基于UML和模型检测的安全模型验证方法,计算机学报,2009,32(4):699-708 |
| Palavras-Chave | #安全操作系统 |
| Tipo |
期刊论文 |
