- 71. 杜长霄, 李晓红, 石红, 等. J2EE 应用软件的架构安全评估方法[J]. 计算机科学与探索, 2014, 8(5): 572-581..2017
- 70. Jiao H, Li X, Zhang L, et al. Hybrid detection using permission analysis for Android malware[C]//International Conference on Security and Privacy in Communication Systems. Springer International Publishing, 2014: 541-545. CCF C类.2017
- 69. Pei H, Li X, Xu G, et al. Mining Specification of Insecure Browser Extension Behavior[C]//Trust, Security and Privacy in Computing and Communications (TrustCom), 2014 IEEE 13th International Conference on. IEEE, 2014: 871-876. CCF C类.2017
- 68. Zhao S, Li X, Xu G, et al. Attack tree based android malware detection with hybrid analysis[C]//Trust, Security and Privacy in Computing and Communications (TrustCom), 2014 IEEE 13th International Conference on. IEEE, 2014: 380-387. CCF C类.2017
- 67. Han, Z., Li, X., Feng, R., Hu, J., Xu, G., & Feng, Z. (2014, September). A Three-Dimensional Model for Software Security Evaluation. In Theoretical Aspects of Software Engineering Conference (TASE), 2014 (pp. 34-41). IEEE. CCF C类..2017
- 66. Wu X, Li X, Feng R, et al. OOPN-SRAM: A Novel Method for Software Risk Assessment[C]// International Conference on Engineering of Complex Computer Systems. IEEE, 2014:150-153. CCF C类(EI 201445163799).2017
- 65. Shen G, Li X, Feng R, et al. An Extended UML Method for the Verification of Security Protocols[C]// International Conference on Engineering of Complex Computer Systems. IEEE, 2014:19-28. CCF C类(EI 201445163783)..2017
- 64. Li X, Li X, Xu G, et al. Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol[J]. Journal of Applied Mathematics,2014,(2014-6-17), 2014, 2014(2014):1-10. (SSCI 三区).(UT WOS 000338085600001).2017
- 63. Zhang C, Li X, Hu J, et al. Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols[J]. Journal of Applied Mathematics,2014,(2014-6-1), 2014, 2014(7):1-10. (SSCI 三区).(UT WOS 000337377800001).2017
- 62. Xie X, Li X, Liu Y, et al. Automatic Verification for Later-Correspondence of Security Protocols[C]// International Workshop on Structured Object-Oriented Formal Language and Method. Springer, Cham, 2014:111-126..2017
