基于模型检验的软件安全静态分析研究

来源 :微计算机信息 | 被引量 : 0次 | 上传用户:zxyoci
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上,将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中,给出了一种基于自动机理论的检测软件安全的模型检验方法,阐述了其原理和工作流程,并用实例进行了验证说明。
其他文献
本文设计并实现了基于粗糙集多传感器和免疫的入侵检测系统新模型,分析了基于粗糙集理论的规则生成算法,利用多传感器提高了入侵检测系统的鲁棒性。给出了基于人工免疫技术的算
本文从高技术局部战争的作战特点和实战需要出发,提出了战役战术作战数据基的概念,阐述了"未战而决胜负,先胜而后战"的作战思想和战役战术作战数据基与可计算性的重要意义,并对战役
针对迷宫这一特殊的复杂环境,在分析传统人工势场法的不足的基础上,本文提出离散势场概念,来解决其路径规划问题。在初始化的离散势场基础上,根据传感器信息调整势场值,该算
本文简述了目前在线掌纹定位的主要方法,提出一种通过寻找特殊角点和基点实现在线掌纹的定位。该方法基于掌纹的形状特点,先定位特殊角点,再通过统计块点方向和求梯度确定感兴趣的纹线上的一点,最后用灰度值跟踪方法确定特殊基点。该定位方法减少了手掌张开强度因素造成的影响,并取得了理想的实验结果。
本文提出了微GIS的管理信息系统设计基本思想,阐述了租赁管理信息系统的网络方案设计、体系结构设计、功能模块设计、微GIS功能模块设计和数据库设计,讨论了微GIS融入MIS设计过
提出了一种全新的计算旋翼桨叶动力响应的方法。以柔性多体系统动力学为基础,结合有限单元法和拉格朗日方程,推导出绕动轴转动的多柔体动力学质量矩阵,建立了直升机旋翼桨叶的动
设计并实现了一套基于热释电面阵探测器的太赫兹成像软件。该软件基于VC.NET的强大功能,通过对Active控件接口的二次开发和数字图像处理技术,完成了太赫兹图像的采集、处理、显
双群的乘法表是群不可约表示的重要内容,但双群的乘法表往往元素众多,且涉及到二维矩阵的乘法问题,手工计算往往较繁杂,还要寻找匹配元素。作者利用MATLAB语言针对Oh群的乘法表编
介绍了P89C51RA单片机的性能和特点,设计了智能广播系统控制器。详细分析了该型号单片机ISP功能,实现了智能广播系统控制器的在系统升级。通过串口通信对PC主机命令进行接收并
红外诱饵弹作为最广泛使用的有源干扰手段,可以有效对抗空空红外导弹,确保载机平台的安全。为研究红外诱饵在空战运用中的干扰效能,本文建立了诱饵、载机和红外导弹的仿真模型,对