徐士伟 【副教授】
姓名 徐士伟 性别
职称 副教授 学位 博士
电话 15002787572 邮箱 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计算机平台技术,装备发展部共用技术类项目,编号:31511100101,2016.1-2017.7,主持(225万元)


科研论文:
【1】Sergiu Bursuc, Christian Johansen and Shiwei 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】徐士伟, 高毅, 伍华凤等, “一种云计算环境下的可信密码模块密码功能授权代理的实现方法”, 授权号: ZL201210561695 (已授权)
【2】徐士伟, 黄晋, 代征等, “一种多接口密码模块并行调度方法”, 授权号: ZL201310661943(已授权)
【3】徐士伟, 江昌庆, 代征等, “可配置的虚拟机启动完整性维护的方法及系统”, 申请号: CN201410425198
【4】徐士伟, 江昌庆, 胡哲琨等, “虚拟机故障检测、恢复系统及虚拟机检测、恢复、启动方法”, 申请号: CN201510416209
【5】徐士伟, 赵爽, 余学俊等, “一种ARM平台上可信密码模块的实现和服务方法”, 申请号: CN201610497918
【6】张焕国, 严飞, 徐士伟等, “可信平台模块测试装置”, 授权号: ZL200810236866 (已授权)
【7】高毅, 伍华锋, 徐士伟, “基于时空相关的虚拟机在线迁移方法及系统”, 申请号: CN201410447729 
备注