孙宇 袁梅宇 张文芳 杨云飞 李勇 余位弛 何大可 杨晓婕

串空间 数字签名 逻辑语义 Agent 公钥密码体制 协议分析 信息安全 安全协议分析

四川成都 云南昆明 现代通信国家重点实验室 西南交通大学计算机与通信工程学院 昆明理工大学信息工程与自动化学院 西南交通大学网络通讯安全与应用中心 西南交通大学信息安全与国家计算网格实验室