天津大学教师个人主页系统李晓红 43. 李晓红、方坤丁、沈岗、胡静、谢肖飞、张程伟，基于UML的轻量级安全协议形式化验证，中华人民共和国知识产权局，2015103510227，受理 Professor Xiaohong Li

Personal HomePage

+

XiaoHong Li

Personal Information

Gender:Female

Date of Employment:2018年06月08日

Administrative Position:Dean of Computer and Information Technology Dept.

Other Contact Information

Zipcode :

Fax :

Postal Address :

E-mail :

Professor Xiaohong Li > Academic Achievements > Patents

43. 李晓红、方坤丁、沈岗、胡静、谢肖飞、张程伟，基于UML的轻量级安全协议形式化验证，中华人民共和国知识产权局，2015103510227，受理

Date:2017-10-19 Hits:

Service Invention or Not:no

Publication Date:2019-12-06

Application Date:2019-12-06

Issue Date:2019-12-06

Pre One:44. 李晓红、白裕德、孙达志、许光全、韩卓兵、经雅婷，云架构安全评估方法，中华人民共和国知识产权局，2015102881041，受理 Next One:42. 李晓红、胥佳逸、许光全、胡静、张蕾、李笑如，安全交换协议模型检测系统及方法，中华人民共和国知识产权局，201510395404x，受理