| 题名: | 基于UML和模型检测的安全模型验证方法 |
| 其他题名: | a verification method of security model based on uml and model checking
|
| 作者: | 程亮
; 张阳
|
| 关键词: | 安全操作系统
|
| 刊名: | 计算机学报
|
| 发表日期: | 2009
|
| 卷: | 32, 期:4, 页:699-708 | | 收录类别: | 其他
|
| 部门归属: | 中国科学技术大学电子工程与信息科学系,合肥,230027;中国科学院软件研究所信息安全国家重点实验室,北京,100190;中国科学院软件研究所信息安全国家重点实验室,北京,100190
|
| 摘要: | 安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转换工具将UML图转化为模型检测器的输入语言,最后由模型检测器来验证安全模型对于安全需求的满足性.作者使用该方法验证了DBLP和SLCF模型对机密性原则的违反. |
| 语种: | 中文
|
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/7864
|
| Appears in Collections: | 信息安全国家重点实验室_期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 基于UML和模型检测的安全模型验证方法.pdf（712KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
程亮,张阳. 基于UML和模型检测的安全模型验证方法[J]. 计算机学报,2009-01-01,32(4):699-708.
|
|
|
