李晓红
- 教师名称：李晓红
- 教师拼音名称：XiaoHong Li
- 性别：女
- 职务：Dean of Computer and Information Technology Dept.
- 职称：教授
其他联系方式
- 邮编：
- 传真：
- 通讯/办公地址：
- 邮箱：
- 47. 李晓红、赵仁、焦浩峰、胡静、许光全，基于权限的Android恶意软件混合检测方法，中华人民共和国知识产权局，2015102825075，受理
- 46. 李晓红、李洪波、吴晓菲、孙达志、张蕾，基于粗糙集理论和未确知测度理论的安全需求获取方法，中华人民共和国知识产权局，2015102197292，受理
- 45. 李晓红、李洪波、吴晓菲、孙达志、张蕾，基于形式化建模的软件安全需求获取方法，中华人民共和国知识产权局，2015102844216，受理
- 44. 李晓红、白裕德、孙达志、许光全、韩卓兵、经雅婷，云架构安全评估方法，中华人民共和国知识产权局，2015102881041，受理
- 43. 李晓红、方坤丁、沈岗、胡静、谢肖飞、张程伟，基于UML的轻量级安全协议形式化验证，中华人民共和国知识产权局，2015103510227，受理
- 42. 李晓红、胥佳逸、许光全、胡静、张蕾、李笑如，安全交换协议模型检测系统及方法，中华人民共和国知识产权局，201510395404x，受理
- 41. 李晓红、张欣、许光全、郭奇、宋姣娇，基于漏洞攻击的自组织网络协议安全分析方法，中华人民共和国知识产权局，2015104139200，受理
- 40. 李晓红、郭千宇、赵帅、饶国政、陈世展，基于攻击树模型的Android软件混合检测方法，中华人民共和国知识产权局，2015104682288，受理
- 39. 基于CSP#和LTL逻辑的多方合同签署协议公平性验证方法(申请号：201410157935.0)2014.04.18
- 38. 基于组件安全属性的软件体系结构安全性评估方法(申请号：201410157964.7)2014.04.18
- 37. 一种认证邮件协议的后一致性分析方法(申请号：201410158530.9)2014.04.18
- 36. 一种基于行为序列的浏览器扩展漏洞的检测方法(申请号：201410172806.9)2014.04.25
- 35. 一种基于缺陷检测的软件安全风险评估方法(申请号：201410174435.8)2014.04.28
- 34. 一种基于三维证据模型的安全需求度量方法(申请号：201310689186.1)2013.12.17
- 33. 针对安全协议的形式化建模及验证方法（申请号:201310152401.4）2013.4.28-沈岗