天津大学教师个人主页系统李晓红 85. Li X, Xu J, Xu G, et al. Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service[J]. International Journal of Software Engineering and Knowledge Engineering, 2016, 26(04): 563-585. 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 > Selected Papers

85. Li X, Xu J, Xu G, et al. Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service[J]. International Journal of Software Engineering and Knowledge Engineering, 2016, 26(04): 563-585.

Date：2017-10-18 Hits:

Translation or Not:no

Date of Publication:2017-10-19

Pre One:86. Zhang X, Li X, Feng Z, et al. Universal Analysis and Detection Framework for Location Aided Routing[C]//Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on. IEEE, 2016: 145-154. Next One:84. Huang K, Siegel M, Madnick S, et al. Poster: Diversity or concentration? Hackers’ strategy for working across multiple bug bounty programs[C]//37th IEEE Symposium on Security and Privacy (S&P). 2016.