首页> 中文期刊> 《长沙大学学报》 >基于UML和SPIN的软件安全模型验证

基于UML和SPIN的软件安全模型验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

介绍了使用模型验证工具SPIN检测软件设计阶段存在的安全漏洞的方法.用LTL描述安全属性,将软件设计转换为PROMELA.通过一个关注时序安全属性的实际案例,证明了该方法的可行性.

著录项

来源
《长沙大学学报》 |2013年第5期|69-71|共3页
作者
高晓星; 李晓霞; 薛冰;
展开▼
作者单位

石家庄经济学院职业技术学院,河北石家庄050031;

石家庄经济学院职业技术学院,河北石家庄050031;

石家庄经济学院职业技术学院,河北石家庄050031;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机软件;
关键词
模型验证; 软件安全; UML; SPIN;

相似文献

中文文献
外文文献
专利

1. 基于UML和模型检测的安全模型验证方法 [J] . 程亮 ,张阳 . 计算机学报 . 2009,第004期
2. 软件UML建模与RBAC安全模型 [J] . 张赛男 ,尉红艳 ,乔正洪 . 电脑知识与技术 . 2009,第015期
3. 基于UML的软件形式化需求分析与验证 [J] . 姚全珠 ,王江 . 计算机工程 . 2010,第013期
4. 基于SPIN的地下建筑设备监控系统软件验证 [J] . 李亮 ,邢建春 ,杨启亮 . 工业控制计算机 . 2010,第006期
5. 采用模型检测器的软件安全模型验证方法 [J] . 陈峰 ,李伟华 ,陈昊 . 西安交通大学学报 . 2011,第002期
6. 使用基于进程代数的方法建立软件体系结构的安全模型 [C] . . 2008年全国理论计算机科学学术年会 . 2008
7. 基于SPIN的UML模型一致性验证的研究及应用 [A] . 胡良文 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号