中文| English

学校主页 | 图书馆

  

浏览/检索结果:共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
收藏  |  浏览/下载：4/0  |  提交时间：2025/08/05
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
收藏  |  浏览/下载：2/0  |  提交时间：2025/08/05