CORC

在结果中检索

CORC

浏览/检索结果: 共22条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
A practical dynamic integrity protection model 期刊论文
jisuanji yanjiu yu fazhancomputer research and development, 2013
Yang, Tao; Wang, Yonggang; Tang, Liyong; Kong, Lingbo; Hu, Jianbin; Chen, Zhong
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
On key issuing privacy in distributed online social networks 其他
2012-01-01
Yang, Tao; Tang, Liyong; Kong, Lingbo; Chen, Zhong
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/17
Secure information flow in Java by optimized reachability analysis of weighted pushdown system 期刊论文
jisuanji yanjiu yu fazhancomputer research and development, 2012
Sun, Cong; Tang, Liyong; Chen, Zhong; Ma, Jianfeng
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/17
A new enforcement on declassification with reachability analysis 其他
2011-01-01
Sun, Cong; Tang, Liyong; Chen, Zhong
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
Enforcing relaxed declassifications with reference points 其他
2011-01-01
Sun, Cong; Tang, Liyong; Chen, Zhong
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Secure information flow in Java via reachability analysis of pushdown system 其他
2010-01-01
Sun, Cong; Tang, Liyong; Chen, Zhong
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/13
Enforcing reactive noninterference with reachability analysis 其他
2010-01-01
Sun, Cong; Tang, Liyong; Chen, Zhong
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
Automatic Data Extraction from Web Discussion Forums 其他
2009-01-01
Li, Suke; Tang, Liyong; Hu, Jianbin; Chen, Zhong
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/10
Secure information flow by model checking pushdown system 其他
2009-01-01
Sun, Cong; Tang, Liyong; Chen, Zhong
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/12
SKIP: A Secure Key Issuing Scheme for Peer-to-Peer Networks 其他
2009-01-01
Tang, Cong; Chen, Ruichuan; Cai, Zhuhua; Me, Anming; Hu, Jianbin; Tang, Liyong; Chen, Zhong
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/12

©版权所有 ©2017 CSpace - Powered by CSpace