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

已选(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
	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 收藏 \| 浏览/下载：14/0 \| 提交时间：2025/08/05 information flow noninterference program analysis pushdown system reactive program