科研成果详情

题名Declassification enforcement on program with reachability analysis of pushdown system
作者
发表日期2012
发表期刊Ruan Jian Xue Bao/Journal of Software
ISSN/eISSN1000-9825
卷号23期号:8页码:2149-2162
摘要The study proposes a verification mechanism based on reachability analysis of pushdown system to enforce existing declassification policies of language-based information flow security. The pushdown rules of store and match primitives are embedded in the abstract model after compact self-composition. The security property with respect to different declassification policies is violated when the illegal-flow state is reached in the pushdown system. The experimental results show improvement in precision, compared with the type-based mechanisms, and growth in effectiveness compared with the RNI-enforcement based on automated verification. ©2012 ISCAS.
关键词Automated verification Declassification Information flow security Program analysis Pushdown system
DOI10.3724/SP.J.1001.2012.04117
URL查看来源
语种英语English
Scopus入藏号2-s2.0-84866276460
引用统计
文献类型期刊论文
条目标识符https://repository.uic.edu.cn/handle/39GCC9TT/13542
专题个人在本单位外知识产出
通讯作者Sun,Cong
作者单位
1.Institute of Software,School of Electronics Engineering and Computer Science,Peking University,Beijing 100871,China
2.Key Laboratory of High Confidence Software Technologies (Peking University),Ministry of Education,Beijing 100871,China
3.Key Laboratory of Network and Software Security Assurance (Peking University),Ministry of Education,Beijing 100871,China
推荐引用方式
GB/T 7714
Sun,Cong,Tang,Li Yong,Chen,Zhong. Declassification enforcement on program with reachability analysis of pushdown system[J]. Ruan Jian Xue Bao/Journal of Software, 2012, 23(8): 2149-2162.
APA Sun,Cong, Tang,Li Yong, & Chen,Zhong. (2012). Declassification enforcement on program with reachability analysis of pushdown system. Ruan Jian Xue Bao/Journal of Software, 23(8), 2149-2162.
MLA Sun,Cong,et al."Declassification enforcement on program with reachability analysis of pushdown system". Ruan Jian Xue Bao/Journal of Software 23.8(2012): 2149-2162.
条目包含的文件
条目无相关文件。
个性服务
查看访问统计
谷歌学术
谷歌学术中相似的文章
[Sun,Cong]的文章
[Tang,Li Yong]的文章
[Chen,Zhong]的文章
百度学术
百度学术中相似的文章
[Sun,Cong]的文章
[Tang,Li Yong]的文章
[Chen,Zhong]的文章
必应学术
必应学术中相似的文章
[Sun,Cong]的文章
[Tang,Li Yong]的文章
[Chen,Zhong]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。