引用次数
引用: 1,174
H-指数: 16
I10-指数 : 23
出版物: 69
Secure Information Flow in Java by Optimized Reachability Analysis of Weighted Pushdown System
Cong Sun , Liyong Tang , Zhong Chen , Jianfeng Ma
Journal of Computer Research and Development 49 ( 5) 901 -912
2012
On the architecture and development life cycle of secure cyber-physical systems
SUN Cong , MA Jianfeng , YAO Qingsong
Journal of communications and information networks 1 ( 4) 1 -21
7
2016
一种面向二进制的细粒度控制流完整性方法
SIDIKE Pa-erhatijiang , MA Jian-feng , SUN Cong
计算机科学 46 ( 11A) 417 -420, 432
2019
基于接口精化的广义无干扰性研究
Sun Cong , Xi Ning , Gao Sheng , Zhang Tao
计算机研究与发展 52 ( 7) 1631 -1641
1
2015
Secure Service Composition with Quantitative Information Flow Evaluation in Mobile Computing Environments.
Xi , Lv , Sun , Ma
Entropy 21 ( 8) 753
2019
Composable information flow verification for service chain based on model checking
Ning XI , Jian-feng MA , Cong SUN , Di LU
Journal of Communications
2014
Checking Information Flow on Output Channel with Reachability Analysis of Pushdown System
C Sun , L-Y Tang , Z Chen
Computer Science 38 ( 7) 103 -103
2011
采用完整性威胁树的信息流完整性度量方法
吴奇烜 , 马建峰 , 孙聪 ,
网络与信息安全学报 5 ( 2) 50 -57
1
2019
Declassification Enforcement on Program with Reachability Analysis of Pushdown System
孙聪 , 唐礼勇 , 陈钟 ,
Journal of Software 23 ( 8) 2149 -2162
2012