QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Automated enforcement for relaxed information release with reference points 期刊论文 science china information sciences, 2014 Sun Cong; Xi Ning; Gao Sheng; Chen Zhong; Ma JianFeng 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/11 information flow  security policy  noninterference  declassification  pushdown system  program analysis  FLOW SECURITY  MODEL  DECLASSIFICATION  POLICIES  SYSTEMS   Automated enforcement for relaxed information release with reference points 期刊论文 Science China(Information Sciences), 2014 SUN Cong; XI Ning; GAO Sheng; CHEN Zhong; MA JianFeng 收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03 information flow  security policy  noninterference  declassification  pushdown system  program analysis   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