不干涉性相关硕士博士期刊学术论文 - 搜论网

不干涉性相关论文

基于下推系统可达性分析的输出信道信息流检测

提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法。将程序抽象为下推系统,通过自合成将不干涉性转化为安全性属性,......

期刊

信息流不干涉性下推系统可达性分析 Information flow Noninterference Pushdown system Reachabi

看过本文同时还关注