所属大学: 华东交通大学
所属学院: 软件学院
个人主页: https://rj.ecjtu.edu.cn/2018/0524/c5205a57728/page.htm
软件形式化开发方法、信息安全(网络协议分析与验证)