- 教师名称：李晓红
- 教师拼音名称：XiaoHong Li
- 性别：女
- 职务：Dean of Computer and Information Technology Dept.
- 职称：教授
-
41. 何可, 李晓红, 冯志勇. 面向对象的威胁建模方法[J]. 计算机工程, 2011, 37(4):21-23.. 2017
-
40. Li X H, Liu F X, Feng Z Y, et al. A Knowledge Based Threat Analysis in Trustworthy Software Engineering[J]. Applied Mechanics & Materials, 2012, 130-134:3177-3180. （EI20114714534930 ）.. 2017
-
39. 李晓红, 王翔宇, 张涛,等. 基于缺陷分析与测试评审的软件可信性评价方法[J]. 清华大学学报(自然科学版), 2011(10):1287-1293.. 2017
-
38. Li X, Wang X, Zhang T, et al. Software trustworthness evaluation based on weakness analysis and testing assessment[J]. Journal of Tsinghua University, 2011, 51(10):1287-1293.（EI 20114514493937）. 2017
-
37. Sun J, Liu Y, Song S, et al. PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems[C]// International Conference on Formal Methods and Software Engineering. Springer-Verlag, 2011:147-162. (与新加坡国立合作)（软件工程Rank2的会议）. 2017
-
36. Li X, Cao Y, Feng Z, et al. Web Service Security Analysis Model Based on Program Slicing[C]// International Conference on Quality Software. IEEE, 2010:422-428. (EI20104313329114). 2017
-
35. Xing J L, Li X H, Yan C, et al. Information Flow Analysis of Web Service Net[C]// IEEE International Conference on Computer and Information Technology. IEEE Computer Society, 2010:1622-1626..( EI20104613393095). 2017
-
34. Li X, Meng G, Feng Z, et al. A framework based security-knowledge database for vulnerabilities detection of business logic[C]// International Conference on Optics, Photonics and Energy Engineering. 2010:292-297. ( EI20103113115522).. 2017
-
33. 何可, 李晓红, 冯志勇. 活动图模型驱动的Web应用程序测试方法[J]. 计算机应用, 2010, 30(9):2365-2369.. 2017
-
32. 李晓红, 王翔宇, 冯志勇. 一种安全需求分析中的用例漏洞检测方法[J]. 计算机工程与应用, 2010, 46(5):51-54.. 2017
-
31. 李晓红, 冯志勇, 王翔宇. 基于安全缺陷的软件可信性评价方法[C]// 中国计算机大会. 2010. (CNCC2010), HangZhou, China, Oct,11-13, 2010.. 2017
-
30. 王泽来, 穆小亮, 李晓红, 等. 基于 WebGIS 的第四方物流跟踪及应急系统设计与实现倡[J]. 计算机应用研究, 2009, 26(7).. 2017
-
29. Cao X, Wu L, Xiao J, et al. Video synchronization and its application to object transfer[J]. Image and Vision Computing, 2010, 28(1): 92-100.. 2017
-
28. 王泽来, 宋利军, 冯志勇, 等. 支持四方物流的 Web 服务集成平台的设计与实现[J]. 计算机工程与应用, 2009, 45(7): 215-219.. 2017
-
27. He K, Feng Z, Li X. An attack scenario based approach for software security testing at design stage[C]//Computer Science and Computational Technology, 2008. ISCSCT'08. International Symposium on. IEEE, 2008, 1: 782-787. (ISCSCT2008), Shanghai, China, December 2008, pp.782-787. (EI: 20091211972085). 2017
