袁梅宇 何大可 余位弛 鲁荣波 杨云飞 张文芳 李勇 孙宇

授权有效期 认证协议分析 语义 安全性 盲代理签名 认证协议设计 串空间 逻辑

吉首大学数学与计算机科学系 西南交通大学计算机与通信工程学院 昆明理工大学信息工程与自动化学院 西南交通大学信息安全与国家计算网格实验室