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

授权有效期 认证协议分析 语义 安全性 盲代理签名 认证协议设计 串空间 逻辑 电子商务协议 NTRUsign 多项式的逆 数字签名 公钥密码体制 算法 NTRU 部分盲签名 逻辑语义

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