徐士伟

姓名

徐士伟

性别

职称

副教授

学位

博士

电话

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 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】徐士伟, 高毅, 伍华凤等, “一种云计算环境下的可信密码模块密码功能授权代理的实现方法”, 授权号: ZL201210561695 (已授权)

【2】徐士伟, 黄晋, 代征等, “一种多接口密码模块并行调度方法”, 授权号: ZL201310661943(已授权)

【3】徐士伟, 江昌庆, 代征等, “可配置的虚拟机启动完整性维护的方法及系统”, 申请号: CN201410425198

【4】徐士伟, 江昌庆, 胡哲琨等, “虚拟机故障检测、恢复系统及虚拟机检测、恢复、启动方法”, 申请号: CN201510416209

【5】徐士伟, 赵爽, 余学俊等, “一种ARM平台上可信密码模块的实现和服务方法”, 申请号: CN201610497918

【6】张焕国, 严飞,徐士伟等, “可信平台模块测试装置”, 授权号: ZL200810236866 (已授权)

【7】高毅, 伍华锋,徐士伟, “基于时空相关的虚拟机在线迁移方法及系统”, 申请号: CN201410447729

备注