加权下推系统相关硕士博士期刊学术论文 - 搜论网

加权下推系统相关论文

基于加权下推系统优化可达性分析的Java安全信息流研究

信息流安全的形式化以无干扰性为标准属性．针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示，提出了一种基于语义......

期刊

信息流无干扰性加权下推系统自合成可达性分析 information flow noninterference weighted pushdown sys

看过本文同时还关注