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

已选(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 收藏 \| 浏览/下载：4/0 \| 提交时间：2025/08/05 declassification information flow noninterference program analysis pushdown system security policy
	Secure information flow in Java by optimized reachability analysis of weighted pushdown system 期刊论文 Jisuanji Yanjiu yu Fazhan/Computer Research and Development,2012, 卷号: 49, 期号: 5, 页码: 901-912 作者: Sun，Cong; Tang，Liyong; Chen，Zhong; Ma，Jianfeng 收藏 \| 浏览/下载：3/0 \| 提交时间：2025/08/05 Information flow Noninterference Reachability analysis Self-composition Weighted pushdown system
	Enforcing reactive noninterference with reachability analysis 会议论文 Proceedings - 2011 8th International Conference on Information Technology: New Generations, ITNG 2011 作者: Sun，Cong; Tang，Liyong; Chen，Zhong 收藏 \| 浏览/下载：2/0 \| 提交时间：2025/08/05 information flow noninterference program analysis pushdown system reactive program