收藏本站
《系统工程与电子技术》 2012年09期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于划分软件安全Petri网的需求形式化验证

李震  刘斌  苗虹  殷永峰  
【摘要】:为了解决Petri网对复杂软件系统进行形式化验证时在安全性描述、自动化程度和验证效率方面存在的不足,提出一种软件安全Petri网。扩展了库所定义,提出了安全距离及其计算方法,以增强Petri网对软件安全性的描述能力。设计了自动划分子网结合库所安全定级的递归算法,仅对与被验证需求性质相关的划分子模型进行验证以提高验证效率,同时实现库所的安全定级。设计并实现了软件安全性需求自动化建模和验证工具原型,最后给出了在典型安全关键软件———机载除冰软件系统上的应用以说明方法和工具原型的有效性。

手机知网App
【参考文献】
中国期刊全文数据库 前5条
1 肖健宇,张德运,陈海诠,董浩;模型检测与定理证明相结合开发并验证高可信嵌入式软件[J];吉林大学学报(工学版);2005年05期
2 姚洪英,范铁生,苏红丽,马海英;基于Petri网的分布式实时多媒体同步模型[J];沈阳工业大学学报;2004年01期
3 李震;刘斌;殷永峰;李晓勋;;基于扩展Petri网的安全关键软件需求模型检验[J];沈阳工业大学学报;2011年01期
4 赵晓凡;周清雷;赵东明;;基于线性时态逻辑的Petri网模型检测研究[J];微计算机信息;2009年03期
5 李震;刘斌;李小勋;殷永峰;;基于Petri网模型检验的安全关键软件需求验证[J];系统工程与电子技术;2011年02期
【共引文献】
中国期刊全文数据库 前5条
1 李震;刘斌;陆民燕;殷永峰;;基于扩展Petri网的除冰软件安全需求建模和验证[J];北京航空航天大学学报;2012年01期
2 沈云付;解晓方;;基于on-the-fly的Petri网模型检查技术研究与实现[J];计算机应用与软件;2011年05期
3 李露;;基于Petri网的多媒体同步技术研究[J];科技创业月刊;2007年10期
4 崔文成;杨雪;葛睿;邵虹;于淼;;基于高级Petri网的住院医师培训工作流建模与分析[J];沈阳工业大学学报;2010年06期
5 李震;刘斌;殷永峰;李晓勋;;基于扩展Petri网的安全关键软件需求模型检验[J];沈阳工业大学学报;2011年01期
中国博士学位论文全文数据库 前1条
1 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
中国硕士学位论文全文数据库 前3条
1 张婷;魔力平台业务过程建模冲突消解的研究与实现[D];哈尔滨工程大学;2011年
2 刘攀峰;安全相关软件的设计方法研究及应用[D];浙江大学;2012年
3 王远敏;基于SVO逻辑的多方不可否认协议的形式化分析与研究[D];贵州大学;2009年
【二级参考文献】
中国期刊全文数据库 前7条
1 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
2 单志广,杨扬,王任,于兴业;扩展时间流Petri网多媒体同步模型[J];计算机研究与发展;2000年02期
3 王素彬,石自力;多媒体系统的交互式同步模型[J];计算机工程与应用;1999年07期
4 姚洪英,范铁生,苏红丽,马海英;基于Petri网的分布式实时多媒体同步模型[J];沈阳工业大学学报;2004年01期
5 孟永刚;宋文;叶剑虹;;基于Petri网的工作流逻辑化简规则的矩阵表示[J];微计算机信息;2006年21期
6 张爱辉;王智学;李宗勇;;基于领域知识的模型检验方法[J];系统工程与电子技术;2008年08期
7 刘克;单志广;王戟;何积丰;张兆田;秦玉文;;“可信软件基础研究”重大研究计划综述[J];中国科学基金;2008年03期
中国博士学位论文全文数据库 前1条
1 沈胜宇;模型检验的反例解释[D];国防科学技术大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 吴海;孙永雄;付庆兴;徐佳琪;;UML图转有色Petri网图文法[J];吉林大学学报(信息科学版);2011年04期
2 胡海华;;面向软件安全的软件工程课程设计[J];井冈山学院学报(自然科学版);2007年05期
3 李震;刘斌;殷永峰;李晓勋;;基于扩展Petri网的安全关键软件需求模型检验[J];沈阳工业大学学报;2011年01期
4 宋晓秋;软件安全性分析的Petri网方法[J];质量与可靠性;1998年01期
5 徐洪学,刘永贤;面向CSCD的PLP模型研究[J];组合机床与自动化加工技术;2005年10期
6 姚淑珍,金茂忠;基于Petri网的CASE全集成机制的研究[J];北京航空航天大学学报;1997年01期
7 周国强,鲍淑娣,陈春玲;软件体系结构模型描述的研究[J];南京邮电学院学报;2002年02期
8 邹金安;;Petri网在语义Web服务组合中的应用研究[J];河北工程大学学报(自然科学版);2009年03期
9 张友生;李雄;;基于Petri网的软件体系结构可靠性分析[J];计算机工程与应用;2006年25期
10 郁湧;李彤;王炜;张坤;;基于Petri网的软件演化过程[J];计算机应用与软件;2008年10期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
2 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
3 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
4 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
5 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
6 张立春;赵合计;安琳;;基于Agent的软件工程方法与应用[A];第十九届全国数据库学术会议论文集(技术报告篇)[C];2002年
7 曹居易;石玲;宫学庆;周傲英;;基于OWL的软件工程数据建模[A];第26届中国数据库学术会议论文集(B辑)[C];2009年
8 傅荣;刘超男;;面向对象系统分析与设计中动态模型的Petri网描述[A];1999中国控制与决策学术年会论文集[C];1999年
9 鲍有文;黄建华;王辉;;第21届世界大学生运动会信息系统的软件工程实施[A];全国计算机网络应用年会论文集(2001)[C];2001年
10 胡少媚;贺晓波;;支持快速反应的过程管理模型和仿真[A];制造业与未来中国——2002年中国机械工程学会年会论文集[C];2002年
中国重要报纸全文数据库 前10条
1 韩万江;软件工程的三线索[N];计算机世界;2007年
2 沈林 龚涛;江西理工大学着力培养复合型人才[N];中国有色金属报;2009年
3 杨帆;打造苏州软件世界竞争力[N];苏州日报;2006年
4 记者 王晓晴 实习生 龙茜瑶;教育部软件工程实训基地在深揭牌[N];深圳特区报;2010年
5 黄官银、黄江平;软件工程中质量保证体系的监理[N];中国计算机报;2002年
6 记者 刘锋 通讯员 徐积明;国际软件工程界品牌大会将在苏州举办[N];科技日报;2006年
7 本报记者 乔申颖;每走一步都留下扎实的脚印[N];经济日报;2009年
8 记者 解悦赵子慧;微软将为南京培训软件领军人才[N];南京日报;2008年
9 ;杨芙清:中国软件工程铺路人[N];计算机世界;2010年
10 山东 张晓华;在线验证破解软件安全性[N];电脑报;2010年
中国博士学位论文全文数据库 前10条
1 游静;细粒度软件抗衰策略及相关技术研究[D];南京理工大学;2006年
2 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
3 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
4 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
5 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
6 田世海;高技术虚拟企业信息系统平台研究[D];哈尔滨理工大学;2008年
7 王安荣;Petri网基本信标的求取算法及死锁避免策略研究[D];西安电子科技大学;2009年
8 高昆;基于DSP并行处理系统的虚拟仪器设计方法的研究[D];浙江大学;2002年
9 郭军;基于Petri网的嵌入式系统高层级设计方法与技术研究[D];西北大学;2007年
10 马敏;并行多任务自动测试系统分层化建模及其关键技术研究[D];电子科技大学;2008年
中国硕士学位论文全文数据库 前10条
1 蔡志林;Petri网建模工具软件的研究与实现[D];长沙理工大学;2005年
2 冯卫兵;基于Petri网的工作流模型[D];西北大学;2004年
3 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
4 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年
5 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
6 姜超;面向体系结构的软件安全性需求开发方法研究[D];长春理工大学;2011年
7 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年
8 余永佳;基于Petri网的项目管理、优化和决策技术[D];南京理工大学;2005年
9 周颖;工作流中并发流程间资源冲突的研究[D];山东大学;2005年
10 徐建军;基于Petri网的动态工作流技术研究[D];国防科学技术大学;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026