李晓红
- 教师名称：李晓红
- 教师拼音名称：XiaoHong Li
- 性别：女
- 职务：Dean of Computer and Information Technology Dept.
- 职称：教授
其他联系方式
- 邮编：
- 传真：
- 通讯/办公地址：
- 邮箱：
- 17. 基于软件缺陷的软件可信性的定量评估方法(201010164611.1)
- 16. 基于安全缺陷知识库的可信软件开发方法（200910305212.X）
- 15. 一种基于模型驱动的安全测试方法(200910068731.9)
- 14. 加入攻击路径形式化分析的威胁建模方法（200910067931.2）
- 13. 一种基于缺陷检测的软件安全风险评估方法(申请号：专利号：201410174435.8)2016年10月9日，（2017年5月5日再次缴费）
- 12. 基于缺陷分析的软件风险评估方法（申请号:201310164662.8）2013.5.8专利发文日:2016.02.01. （2016-4-缴费）（2017年5月24日再次缴费）
- 11. 针对安全协议的形式化建模及验证方法（申请号:201310152401.4）2013.4.28,专利发文日:2015.12.28.（2016-2-缴费）（2017-5-5再次缴费）
- 10. 基于Android平台手机应用程序的安全检测系统及方法（申请号：201210132730.8）申请时间2012.12.5；专利发文日：2014年12月12日 授权公告日:2015-01-14 CN102810143B (2014-12-15缴费615元) (2016-04-01缴费360元) (2017-06-25缴费420元)
- 9. 一种等级驱动的安全需求分析方法（201110208744.9）2011.7.26（2013-5-28已经缴费）（2014-9-12再缴费）（2015-04-13再次缴费）（授权日：2013.05.23）
- 8. 一种网络协议安全缺陷分析方法（ 201110065063.1 ），（授权日：2013.05.13），（2013-5-17已经缴费）（2014-5-09再次缴费）（2015-04-13再次缴费）（2016-04-01再次缴费）（2017-05-03再次缴费）
- 7. 基于安全知识库的顺序图缺陷检测方法 （201010168987.X）（2012-10-16已经缴费）（授权日：2012.12.05）
- 6. 一种Firefox扩展的安全缺陷检测方法(专利号：201110074647.5) （2013-5-17已经缴费）（授权日：2012.7.16）
- 5. 基于垂直搜索及语义标注获取软件安全缺陷的方法(申请号：201010168804.4) （专利号：ZL 2010 1 0168804.4）（2012-2月已经缴费）（授权日：2012.5.2）
- 4. 一种软件系统安全缺陷检测方法(申请号：201010160946.6) （授权日：2012.5.2）（专利号：ZL 2010 1 0160946.6）（2012-2月已经缴费）（2013-6-5已经缴费）
- 3. 建立基于程序切片的Web服务安全分析模型的方法（申请号：200910069325.4），（授权日：2011.12.14），（专利号：ZL 2009 1 0069325.4）（2011.10.10已经缴费）(2012.9.6已经缴费)