李晓红
- 教师名称:李晓红
- 教师拼音名称:XiaoHong Li
- 性别:女
- 职务:Dean of Computer and Information Technology Dept.
- 职称:教授
其他联系方式
- 邮编:
- 传真:
- 通讯/办公地址:
- 邮箱:
87. Fang K, Li X, Hao J, et al. Formal Modeling and Verification of Security Protocols on Cloud Computing Systems Based on UML 2.3[C]//Trustcom/BigDataSE/I SPA, 2016 IEEE. IEEE, 2016: 852-859.
点击次数:
是否译文:否
上一条:88. Zhao R, Li X, Xu G, et al. E-SSL: An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet[C]//International Workshop on Structured Object-Oriented Formal Language and Method. Springer, Cham, 2016: 101-120. 下一条: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.