徐士伟 - 华中农业大学

个人简介

教育经历 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研究所产品研发部工程师

研究领域

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

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

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检索】 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检索】 Shiwei Xu, Ian Batten, Mark Ryan, “Dynamic measurement and protected execution: Model and analysis” [C], 8th International Symposium on Trustworthy Global Computing, 2013【EI检索】徐士伟, 张焕国, “基于应用π演算的可信平台模块的安全性形式化分析” [J], 计算机研究与发展, 48(8), p1421-1429, 2011【EI检索，2016年复合影响因子：2.954】徐士伟, 张焕国, 肖瑾瑜等, “基于中国邮递员问题的可信平台模块测试序列生成优化研究” [J], 武汉大学学报 (自然科学版), 56(2), p138-142, 2010 徐士伟, 张焕国, 严飞等, “Security Analysis on OIAP Implementation Based on BAN Logic” [C], MINES, 2009【EI检索】徐士伟, 张焕国, “An integrity protection model for the keys of trusted platform module” [C], CiSE, 2009【EI检索】胡志希, 戴新发，徐士伟, “一种可配置的虚拟机内存隔离方法” [J], 计算机数字工程, 44(8), p1548-1552, 2016 杨飏, 张焕国,徐士伟等, “Using First Order Logic to Reason about TCG’s TPM Specification” [C], IFITA, 2009 詹静, 张焕国,徐士伟等, “Research on Trusted Platform Model Testing Based on the State Machine Theory” [J], 武汉大学学报 (信息科学版), vol.26, No.3, June 2008