下推系统相关论文
模型检查是一种非常重要的形式化验证技术,它利用状态空间搜索来探索所有可能的系统状态。以这种方式,可以检查给定的系统是否满足......
随着互联网的飞速发展人们的生活与互联网的联系变得越来越紧密,国家也提出了“互联网+”战略来促进社会发展。确保互联网的安全已......
提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法。将程序抽象为下推系统,通过自合成将不干涉性转化为安全性属性,......
针对程序语言信息流安全领域的现有机密消去策略，提出了一种基于下推系统可达性分析的程序信息流安全验证机制．将存储．匹配操作内嵌于......
