Declassification enforcement on program with reachability analysis of pushdown system

doi:10.3724/SP.J.1001.2012.04117

科研成果详情

题名	Declassification enforcement on program with reachability analysis of pushdown system
作者	Sun，Cong 1,2,3; Tang，Li Yong 1,2,3; Chen，Zhong 1,2,3
发表日期	2012
发表期刊	Ruan Jian Xue Bao/Journal of Software
ISSN/eISSN	1000-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
DOI	10.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.