姓名
徐士伟
性别
男


职称
副教授
学位
博士

电话
**
邮箱
xushiwei at mail.hzau.edu.cn

工作单位
华中农业大学信息学院

研究方向
计算机系统安全（可信计算、移动终端ARM平台安全、虚拟化平台安全）和网络安全协议分析（基于进程代数和数理逻辑）等

教育经历
【2008.9-2012.6】武汉大学计算机学院信息安全博士张焕国教授
【2010.9-2012.3】英国伯明翰大学计算机科学学院信息安全博士（联合培养）Mark Ryan教授
【2006.9-2008.6】武汉大学计算机学院信息安全硕士张焕国教授
【2002.9-2006.6】武汉大学计算机学院计算机科学与技术学士

主要职历
【2017.8至今】华中农业大学信息学院计算机科学系副教授
【2016.9-2017.7】中船重工第709研究所产品研发部高级工程师
【2012.7-2016.8】中船重工第709研究所产品研发部工程师

科研成果
科研项目：
【1】智能终端可信系统的构建和安全性分析，中央高校基本科研业务费专项基金资助项目，编号：待定，2017.8-2019.7，主持（20万元）
【2】高安全强度XXX计算机平台技术，装备发展部共用技术类项目，编号：，2016.1-2017.7，主持（225万元）
科研论文：
【1】Sergiu Bursuc, Christian Johansen andShiwei Xu*. “Automated verification of dynamic root of trust protocols” [C], 6th International Conference on Principles of Security and Trust, 2017【EI检索】
【2】Shiwei Xu, et al. “Modeling and reasoning about states in late launch based on horn clauses” [C], Advanced Materials Research, v915-916, p1350-1356, 2014【EI检索】
【3】Shiwei Xu, Ian Batten, Mark Ryan, “Dynamic measurement and protected execution: Model and analysis” [C], 8th International Symposium on Trustworthy Global Computing, 2013【EI检索】
【4】徐士伟, 张焕国, “基于应用π演算的可信平台模块的安全性形式化分析” [J], 计算机研究与发展, 48(8), p1421-1429, 2011【EI检索，2016年复合影响因子：2.954】
【5】徐士伟, 张焕国, 肖瑾瑜等, “基于中国邮递员问题的可信平台模块测试序列生成优化研究” [J], 武汉大学学报 (自然科学版), 56(2), p138-142, 2010
【6】徐士伟, 张焕国, 严飞等, “Security Analysis on OIAP Implementation Based on BAN Logic” [C], MINES, 2009【EI检索】
【7】徐士伟, 张焕国, “An integrity protection model for the keys of trusted platform module” [C], CiSE, 2009【EI检索】
【8】胡志希, 戴新发，徐士伟, “一种可配置的虚拟机内存隔离方法” [J], 计算机数字工程, 44(8), p1548-1552, 2016
【9】杨飏, 张焕国,徐士伟等, “Using First Order Logic to Reason about TCG’s TPM Specification” [C], IFITA, 2009
【10】詹静, 张焕国,徐士伟等, “Research on Trusted Platform Model Testing Based on the State Machine Theory” [J], 武汉大学学报 (信息科学版), vol.26, No.3, June 2008
发明专利：
【1】徐士伟, 高毅, 伍华凤等, “一种云计算环境下的可信密码模块密码功能授权代理的实现方法”, 授权号: ZL5 （已授权）
【2】徐士伟, 黄晋, 代征等, “一种多接口密码模块并行调度方法”, 授权号: ZL3（已授权）
【3】徐士伟, 江昌庆, 代征等, “可配置的虚拟机启动完整性维护的方法及系统”, 申请号: CN8
【4】徐士伟, 江昌庆, 胡哲琨等, “虚拟机故障检测、恢复系统及虚拟机检测、恢复、启动方法”, 申请号: CN9
【5】徐士伟, 赵爽, 余学俊等, “一种ARM平台上可信密码模块的实现和服务方法”, 申请号: CN8
【6】张焕国, 严飞,徐士伟等, “可信平台模块测试装置”, 授权号: ZL6 （已授权）
【7】高毅, 伍华锋,徐士伟, “基于时空相关的虚拟机在线迁移方法及系统”, 申请号: CN9

备注