浏览/检索结果:共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 收藏 \| 浏览/下载：3/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 收藏 \| 浏览/下载：2/0 \| 提交时间：2025/08/05 Information flow Noninterference Reachability analysis Self-composition Weighted pushdown system
	Declassification enforcement on program with reachability analysis of pushdown system 期刊论文 Ruan Jian Xue Bao/Journal of Software,2012, 卷号: 23, 期号: 8, 页码: 2149-2162 作者: Sun，Cong; Tang，Li Yong; Chen，Zhong 收藏 \| 浏览/下载：1/0 \| 提交时间：2025/08/05 Automated verification Declassification Information flow security Program analysis 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 收藏 \| 浏览/下载：1/0 \| 提交时间：2025/08/05 information flow noninterference program analysis pushdown system reactive program