李晓红
- 教师名称：李晓红
- 教师拼音名称：XiaoHong Li
- 性别：女
- 职务：Dean of Computer and Information Technology Dept.
- 职称：教授
其他联系方式
- 邮编：
- 传真：
- 通讯/办公地址：
- 邮箱：
45. Luu A T, Sun J, Liu Y, et al. SeVe: automatic tool for verification of security protocols[J]. Frontiers of Computer Science, 2012, 6(1):57-75.（SCI 4）(UT WOS 000299768800005)
点击次数:
是否译文:否
上一条:46. Wang J, Li X, Yan B, et al. Pointer Analysis Based Vulnerability Detection for Browser Extension[J]. International Journal of Digital Content Technology & Its Applications, 2012, 6(1):488-495. ( EI 20120714765736) 下一条:44. Li X H, Hu C, Feng Z Y, et al. An Approach to Obtain Software Security Vulnerabilities Based on Vertical Search[J]. Advanced Materials Research, 2012, 403-408:3203-3206.