期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
EXPONENTIAL STABILITY TO A NEUTRAL DIFFERENTIAL EQUATION OF FIRST ORDER WITH DELAY
1
作者 Cemil Tun? 《Annals of Differential Equations》 2013年第3期253-256,共4页
In this paper, we study the exponential stability of the zero solution to a neutral diferential equation. By applying the Lyapunov-Krasovskiì functional approach, we prove a result on the stability of the zero so... In this paper, we study the exponential stability of the zero solution to a neutral diferential equation. By applying the Lyapunov-Krasovskiì functional approach, we prove a result on the stability of the zero solution. The result we obtained extends and generalizes the existing ones in the previous literature. Comparing with the previous results, our result is new and complements some known results. 展开更多
关键词 neutral diferential equation frst order DELAY exponential stability Lyapunov-Krasovskiì functional
原文传递
一种基于一阶逻辑的软件代码安全性缺陷静态检测技术 被引量:7
2
作者 秦晓军 甘水滔 陈左宁 《中国科学:信息科学》 CSCD 2014年第1期108-129,共22页
软件代码安全性缺陷是可能引发软件系统高危后果的一类重要缺陷,针对该类缺陷的自动化检测和定位技术在软件维护和演化研究领域具有重要意义.本文提出并实现了一种形式化检测方法——基于一阶逻辑的软件代码安全性缺陷静态检测方法,利... 软件代码安全性缺陷是可能引发软件系统高危后果的一类重要缺陷,针对该类缺陷的自动化检测和定位技术在软件维护和演化研究领域具有重要意义.本文提出并实现了一种形式化检测方法——基于一阶逻辑的软件代码安全性缺陷静态检测方法,利用命题逻辑和谓词逻辑定义模式路径公式,引入多个与依赖关系相关的谓词构造逻辑函数表达式,作为模式路径节点产生的制导条件,实现了对多类软件代码安全性缺陷的形式化描述,把安全性缺陷检测问题转化成在中间代码对应的有限状态空间中是否存在相应模式路径公式的判定问题.实验结果表明,该方法能适用于大多数类型的软件代码安全性缺陷检测,在对openssl,wu-ftpd等13个开源程序的测试中,准确重现了10个已公开安全漏洞,发现2个未公开安全漏洞.并且,与现有的模型检验等形式化静态分析方法相比,该方法的测试时间和代码规模成渐近线性关系. 展开更多
关键词 软件代码安全性缺陷 一阶逻辑 模式路径 静态分析 形式化描述
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部