浏览/检索结果:共4条，第1-4条

已选(0)清除条数/页：排序方式：
	Automated enforcement for relaxed information release with reference points 期刊论文 Science China Information Sciences,2014, 卷号: 57, 期号: 11, 页码: 1-19 作者: Sun，Cong; Xi，Ning; Gao，Sheng; Chen，Zhong; Ma，Jian Feng 收藏 \| 浏览/下载：23/0 \| 提交时间：2025/08/05 declassification information flow noninterference program analysis pushdown system security policy
	基于加权下推系统优化可达性分析的Java安全信息流研究期刊论文计算机研究与发展,2012, 卷号: 49, 期号: 5, 页码: 901-912 作者: 孙聪; 唐礼勇; 陈钟; 马建峰收藏 \| 浏览/下载：14/0 \| 提交时间：2025/08/05 信息流无干扰性加权下推系统自合成可达性分析
	基于下推系统可达性分析的程序机密消去机制期刊论文软件学报,2012, 卷号: 23, 期号: 8, 页码: 2149-2162 作者: 孙聪; 唐礼勇; 陈钟收藏 \| 浏览/下载：20/0 \| 提交时间：2025/08/05 信息流安全机密消去下推系统自动验证程序分析
	Enforcing reactive noninterference with reachability analysis 会议论文 Proceedings - 2011 8th International Conference on Information Technology: New Generations, ITNG 2011, Las Vegas, Nevada, April 11 - 13, 2011 作者: Sun, Cong; Tang, Liyong; Chen, Zhong 收藏 \| 浏览/下载：13/0 \| 提交时间：2025/08/05 information flow noninterference program analysis pushdown system reactive program