抽象解释论文

指令诱发型硬件木马检测技术研究
论文摘要当前，信息安全的重要性不言而喻，但信息安全的现状却不尽人意，针对信息安全的攻击技术和手段层出不穷，硬件木马的出现更是给信息安全带来了新的威胁。相对于软件恶意代码，硬件木...
可移动类进程代数及其静态分析技术在系统生物学领域中应用的研究
论文摘要可移动类进程代数是为描述可移动进程及通讯连接动态构成的进程网络而对传统抽象演算的扩展,为有效地计算系统的动态行为和运行的拓扑结构,本文开发了该类演算基于控制流分析和抽象...
基于模型检测的C语言安全信息流研究
论文摘要计算机技术的飞速发展带来了很多网络安全上的问题,迫切需要发展信息安全技术。在信息安全中,信息流安全的检测无法用传统的安全方法实现,只能通过安全信息流特性的检测来实现。因...
实时系统最差情况执行时间分析的研究
论文摘要与非实时系统不同，实时系统的正确性不仅要求输出结果在逻辑上正确，而且要求输出结果必须在规定的时间范围内产生。时间对于实时系统具有至关重要的意义。分析实时程序最差情况执行...