模型检验技术在软件漏洞自动挖掘中的应用

来源 :华中科技大学学报：自然科学版 | 被引量 : 0次 | 上传用户：jht20007

【摘要】

：

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和

【作者】

：

刘晖张翀斌张晓敏

【机构】

：

华中科技大学计算机科学与技术学院,中国信息安全产品测评认证中心,山东大学信息科学与工程学院

【出处】

：

华中科技大学学报：自然科学版

【发表日期】

：

2008年2期

【关键词】

：

软件漏洞挖掘模型检验时序安全属性有穷状态自动机 software vulnerability finding model checking tem

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明：该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效.

其他文献

新的IE3措施实现节能50%

据估计,在全球范围内,电动机系统用电量占总用电量的46%。电动机将电能转换为机械能,用于旋转泵、压缩机、提升和移动材料,或风扇、鼓风机、钻孔机或搅拌机等的运行,其是工业

期刊

电动机系统全球范围电能转换工业领域用电量机械能旋转泵压缩机

国家邮政局：《邮政业标准体系》审议通过

2月13日，国家邮政局局长马军胜主持召开2014年第3次局长办公会，研究、审议并通过了《邮政业标准体系》，该标准体系是《邮政业“十二五”发展规划》中提出的着力建立健全的标准化

期刊

标准体系邮政业邮政局审议标准化局长

国家标准委田世宏主任出席ISO第95次理事会会议并访问英国标准化机构

2014年3月18-19日，国际标准化组织（ISO）第95次理事会会议在瑞士日内瓦ISO中央秘书处召开，国家标准委田世宏主任作为ISO常任理事国中国代表，参加了会议。本次理事会会议研究了ISO 2

期刊

国家标准委ISO理事会标准化机构主任国际标准化组织英国宏

水稻基因结构分析与预测建模

将水稻基因结构预测问题划分为基因级、元件级和特征级等多个层次上的一系列较简单子问题，分析了各特征与序列C＋G含量之间的依赖关系，通过采用从简单到复杂逐级优化的策略建立了

期刊

基因结构预测水稻基因组C+G含量多级优化prediction of gene structure rice genome C＋G content

住建部：出台工程建设标准实施指导意见

住建部日前出台了《进一步加强工程建设标准实施监督工作的指导意见》，要求各地围绕经济结构调整、产业转型升级、节能减排、保障民生等重点领域，明确本行业、本地区标准实施的

期刊

标准实施工程经济结构调整监督工作产业转型节能减排点目标

追求卓越的旅程

书名：追求卓越的旅程——美国鲍德里奇国家质量奖自评报告（第二版）　　作者：中国质量协会卓越国际质量科学研究院范青等编译　　书号：ISBN 978-7-5066-8248-0　　定价：58.00元　　出版时间：2016年6月　　美国马尔科姆·鲍德里奇国家质量奖、欧洲质量奖和日本戴明奖是国际上三大质量奖，其中影响力最大的首推美国马尔科姆·鲍德里奇国家质量奖。鲍德里奇国家质量奖是美国企业在质量领域

期刊