吴远成 谭兴烈 周明天 刘一静 刘璟 谭立力

有向图 通道模型 认证协议 谓词逻辑 密码协议 协议形式化分析 公开密钥基础设施 CCITTX509协议 信任模型 迹模型 串空间 协议设计 认证属性

四川成都 电子科技大学计算机科学与工程学院 四川成都610041电子科技大学计算机科... 重庆通信学院三系数据链教研室 电子科技大学卫士通信息安全联合实验室 卫士通信息产业股份有限公司 四川成都610041电子第三十研究所 成都四川