收藏本站
《北京航空航天大学学报》 2012年11期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于本体的软件安全性需求建模和验证

李震  刘斌  苗虹  殷永峰  
【摘要】:由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.

手机知网App
【共引文献】
中国期刊全文数据库 前10条
1 袁文勤;王直杰;张珏;张敏;苏翔;;基于本体的企业网络知识管理系统的构建与实现[J];微计算机信息;2005年26期
2 胡金柱;王琳;肖明;罗旋;姚双云;罗进军;;汉语复句本体模型初探[J];华中师范大学学报(自然科学版);2005年04期
3 殷磊,王润孝,姜晓鹏;基于本体的领域需求分析方法与模型研究[J];计算机工程与应用;2005年07期
4 陶皖,李平,廖述梅;当前基于本体的语义标注工具的分析[J];安徽工程科技学院学报(自然科学版);2005年02期
5 王西锋;张晓孪;;Ontology技术及应用[J];宝鸡文理学院学报(自然科学版);2006年02期
6 海胜利;信息资源整合的案例分析[J];图书与情报;2004年05期
7 李雪瑞;赵冬青;;空间信息本体的开发[J];测绘科学;2006年03期
8 王敬贵,苏奋振,杜云艳,杨晓梅,陈秀法;基于Ontology的空间知识查询方法及其应用[J];地球信息科学;2004年04期
9 王素芳;Ontology与叙词表的融合初探[J];大学图书馆学报;2005年01期
10 闫鹏飞;王尚峰;;基于本体的风机知识库的设计[J];风机技术;2007年04期
中国重要会议论文全文数据库 前10条
1 王建州;李廉;汪映海;;面向Ontology的电力信息系统的研究[A];2005年信息与通信领域博士后学术会议论文集[C];2005年
2 郑笈;李思昆;陆筱霞;;大规模场景绘制的存储数据调度组织研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
3 杨昆;王军;彭双云;;基于Ontology的空间信息互操作初步研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
4 景东升;;基于本体和agent的地理空间信息语义共享初探[A];中国地理信息系统协会第八届年会论文集[C];2004年
5 贾凌燕;陆一平;;浅谈ontology方法及其发展[A];全国先进制造技术高层论坛暨制造业自动化、信息化技术研讨会论文集[C];2005年
6 王晓惠;王念滨;程慧;;基于本体的信息集成研究综述[A];黑龙江省计算机学会2007年学术交流年会论文集[C];2007年
7 姚文琳;王莉;王璀民;;基于Ontology的知识检索系统的设计与实现[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
8 毛雪岷;张兄利;;基于Ontology的面向对象数据库模型研究[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
9 李勇;苏森;杨放春;;一种基于本体的Parlay业务能力自动发现机制[A];中国通信学会信息通信网络技术委员会2005年年会论文集[C];2005年
10 于楠;朱靖波;陈文亮;;领域知识库的构建机制[A];第二届全国学生计算语言学研讨会论文集[C];2004年
中国博士学位论文全文数据库 前10条
1 安杨;基于本体的网络地理服务中的关键问题研究[D];武汉大学;2005年
2 刘云峰;基于潜在语义分析的中文概念检索研究[D];华中科技大学;2005年
3 谷建军;基于叙词表的中医古籍文献领域本体建模方法研究[D];中国中医科学院;2006年
4 马辉;产品设计知识建模与演化关键技术研究[D];浙江大学;2006年
5 刘晓强;E-Learning知识共享与适应性应用环境研究[D];东华大学;2003年
6 常春;Ontology在农业信息管理中的构建和转化[D];中国农业科学院;2004年
7 戴若夷;面向大规模定制的广义需求建模方法与实现技术的研究及应用[D];浙江大学;2004年
8 李景;本体理论及在农业文献检索系统中的应用研究——以花卉学本体建模为例[D];中国科学院研究生院(文献情报中心);2004年
9 胡鹤;本体方法及其时空推理应用研究[D];吉林大学;2004年
10 杨志雄;面向大规模定制的Web零件库的若干关键技术和系统的研究[D];浙江大学;2004年
中国硕士学位论文全文数据库 前10条
1 李晓丹;限定领域内基于web的智能问答系统[D];内蒙古大学;2005年
2 金均强;基于本体的空间数据建模[D];武汉大学;2005年
3 李鹏云;数字图书馆信息资源处理研究[D];武汉大学;2005年
4 付蓉;E-learning的知识组织研究[D];中南大学;2005年
5 唐晓文;基于知识特征的教学资源收集和组织的研究与实现[D];中南大学;2005年
6 李志;基于数据集成中本体自动构建的研究[D];中南大学;2005年
7 张春艳;基于Web服务的支持虚拟企业工作流技术的研究[D];福州大学;2006年
8 连惠群;语义Web服务发现和组合的研究与应用[D];福州大学;2006年
9 杨昕;基于语义Web的个性化网络课件研究[D];天津大学;2005年
10 董小峰;面向服务的企业数据语义检索技术研究[D];西北工业大学;2006年
【二级参考文献】
中国期刊全文数据库 前1条
1 王海涛;曹存根;高颖;;基于领域本体的半结构化文本知识自动获取方法的设计和实现[J];计算机学报;2005年12期
【相似文献】
中国期刊全文数据库 前10条
1 孙玉娣;裴勇;;专业教学资源库本体模型构建[J];软件;2011年04期
2 刘治纲;叶水生;;基于多本体的搜索引擎框架设计[J];南昌航空大学学报(自然科学版);2011年02期
3 陈振标;;基于本体的语义检索技术研究[J];情报探索;2011年08期
4 杨小平;李皓;侯丽娜;;面向关系型数据的本体学习模型——RCAOM[J];清华大学学报(自然科学版);2011年04期
5 涂强;刘刚;;应急管理减除阶段本体的构建——以基于社区的火灾为例[J];甘肃科技;2011年13期
6 王刚;车颖;吕民;周宇鹏;任秉银;;模型转换过程中的映射发现方法[J];计算机工程;2011年18期
7 张纯;张敬周;宋俊典;;基于本体的软件密集型系统架构知识管理研究[J];计算机工程与设计;2011年06期
8 彭静;罗伟;;一种从自然语言文本到本体模型的转换方法[J];电大理工;2011年02期
9 齐玉东;谢晓方;;基于用例的领域业务服务本体建模[J];微计算机信息;2011年07期
10 安晶;阳程;李青祝;;一种基于本体的PDM产品结构管理系统的构建[J];铁路计算机应用;2011年06期
中国重要会议论文全文数据库 前10条
1 金鑫;韩文英;;基于本体模型的供应链知识协作研究[A];企业应用集成系统与技术学术研究会论文集[C];2006年
2 伍春香;陈世鸿;;基于本体的教育资源检索机制研究[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
3 韩颖;贾辉然;杜静;;航天软件可靠性的发展[A];2007年河北省电子学会、河北省计算机学会、河北省自动化学会、河北省人工智能学会、河北省计算机辅助设计研究会、河北省软件行业协会联合学术年会论文集[C];2007年
4 冯兰萍;朱礼军;张继国;;一种基于Web应用的领域本体构造方法研究[A];第二届全国信息检索与内容安全学术会议(NCIRCS-2005)论文集[C];2005年
5 吴伟蔚;陈力华;徐兆坤;刘长虹;;基于语义Web的交通信息系统[A];2007年中国智能自动化会议论文集[C];2007年
6 董庆超;王智学;候蕾;陈剑;;基于UML类图的本体模型一致性检查方法[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
7 张桂英;周兴社;倪红波;於志文;;面向老年人的智能辅助环境下常识推理系统[A];第18届全国多媒体学术会议(NCMT2009)、第5届全国人机交互学术会议(CHCI2009)、第5届全国普适计算学术会议(PCC2009)论文集[C];2009年
8 王文晶;李茹;宋小香;;基于汉语框架知识库的旅游信息问答系统设计[A];第四届全国学生计算语言学研讨会会议论文集[C];2008年
9 任伟;孟祥旭;徐延宁;;基于语义网的产品配置设计研究[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
10 王润鸿;阎艳;上官景昌;曹庆涛;王利君;;基于产品开发业务本体模型的知识库系统构建研究[A];全国先进制造技术高层论坛暨第七届制造业自动化与信息化技术研讨会论文集[C];2008年
中国重要报纸全文数据库 前1条
1 山东 张晓华;在线验证破解软件安全性[N];电脑报;2010年
中国博士学位论文全文数据库 前10条
1 高志鹏;基于本体的共享管理信息建模方法、模型及其应用[D];北京邮电大学;2007年
2 张量;基于语义Web服务的虚拟物流企业组建关键技术研究[D];大连海事大学;2009年
3 王金波;安全关键软件的测试与评估过程模型研究[D];中国科学院研究生院(空间科学与应用研究中心);2008年
4 李祥全;基于多Agent的软件行业人力资源管理系统若干关键技术研究[D];南京航空航天大学;2007年
5 姚志林;基于本体的工作流为中心协同工作关键技术的研究[D];吉林大学;2007年
6 陈磊;异构CAD产品模型的数据分层表示及重用技术研究[D];浙江大学;2008年
7 刘炜;基于本体的数字图书馆语义互操作[D];复旦大学;2006年
8 张磊;基于语义Web的制造网格资源集成与调度技术研究[D];西北工业大学;2007年
9 王生发;网络化制造中知识流的控制技术研究及应用[D];浙江大学;2007年
10 马安;基于知识的协同CAPP系统若干关键技术研究[D];南京航空航天大学;2007年
中国硕士学位论文全文数据库 前10条
1 闫瑞海;基于FCA与统计学习的本体生成技术研究[D];大连交通大学;2010年
2 常小萌;复合文档辅助生成方法的研究与开发[D];清华大学;2005年
3 张志浩;基于本体论的语义检索研究[D];西安电子科技大学;2007年
4 李勤超;基于本体的地理信息检索方法研究[D];解放军信息工程大学;2007年
5 王岩;基于本体的数字图书馆的检索方法的研究[D];哈尔滨工程大学;2008年
6 吴静;基于本体的画藏检索系统设计与实现[D];北京交通大学;2006年
7 丁荣涛;基于本体和数据挖掘技术的智能授导系统研究[D];浙江工业大学;2008年
8 游宇;基于本体的科技资源搜索引擎设计与实现[D];复旦大学;2008年
9 曹美荣;基于本体的业务流程管理系统研究[D];山东大学;2007年
10 朱高平;公共卫生突发事件应急指挥系统的研制[D];东华大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026