杨帆 - 成都信息工程大学 - 网络空间安全学院

个人简介

男，讲师，生于1985年，中共党员，研究生学历，博士学位。2016年获计算机软件与理论专业工学博士学位。现任信息安全教研室讲师。获奖情况第八届青年教师教学竞赛优秀奖

研究领域

1．形式化方法 2．量子密码协议 3．模型检测

近期论文

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

1．The Modeling Library of Eavesdropping Methods in Quantum Cryptography Protocols by Model Checking，International Journal of Theoretical Physics，2016年2月，SCI，第一作者。 2．Security analysis of multi-party quantum private comparison protocol by model checking，Modern Physics Letters B，2015年7月，SCI，第一作者。 3．基于模型检测的半量子密码协议的安全性分析，电子科技大学学报（自然科学版），2016年3月，EI，第一作者。 4．The Formal Study of Quantum Cryptography Protocols，2013 10th International Computer Conference on Wavelet Active Media Technology and Information Processing，2013年12月，EI，第一作者。