|
已选(0)清除
条数/页： 排序方式：
|
| 基于Pushdown系统证明的可视化 学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
  收藏 | 浏览/下载：21/0 | 提交时间：2016/06/21
|
| Automated enforcement for relaxed information release with reference points 期刊论文
science china information sciences, 2014
Sun Cong; Xi Ning; Gao Sheng; Chen Zhong; Ma JianFeng
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/11
|
| Automated enforcement for relaxed information release with reference points 期刊论文
Science China(Information Sciences), 2014
SUN Cong; XI Ning; GAO Sheng; CHEN Zhong; MA JianFeng
收藏 | 浏览/下载：3/0 | 提交时间：2017/12/03
|
| 基于加权下推系统优化可达性分析的Java安全信息流研究 期刊论文
计算机研究与发展, 2012
孙聪; 唐礼勇; 陈钟; 马建峰
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/12
|
| Secure information flow in Java by optimized reachability analysis of weighted pushdown system 期刊论文
jisuanji yanjiu yu fazhancomputer research and development, 2012
Sun, Cong; Tang, Liyong; Chen, Zhong; Ma, Jianfeng
收藏 | 浏览/下载：3/0 | 提交时间：2015/11/17 |
| 基于下推系统可达性分析的输出信道信息流检测 期刊论文
计算机科学, 2011
孙聪; 唐礼勇; 陈钟
收藏 | 浏览/下载：1/0 | 提交时间：2015/10/23
|
| Enforcing relaxed declassifications with reference points 其他
2011-01-01
Sun, Cong; Tang, Liyong; Chen, Zhong
收藏 | 浏览/下载：3/0 | 提交时间：2015/11/13 |
| Secure information flow in Java via reachability analysis of pushdown system 其他
2010-01-01
Sun, Cong; Tang, Liyong; Chen, Zhong
收藏 | 浏览/下载：5/0 | 提交时间：2015/11/13 |
| A Static Method for Detection of Information Theft Malware 其他
2009-01-01
Li, JiaJing; Wei, Tao; Zou, Wei; Mao, Jian
收藏 | 浏览/下载：7/0 | 提交时间：2015/11/12
|
| Secure information flow by model checking pushdown system 其他
2009-01-01
Sun, Cong; Tang, Liyong; Chen, Zhong
收藏 | 浏览/下载：3/0 | 提交时间：2015/11/12 |
