谢鸿波 周明天 佘堃 刘一静 沈昌祥 谭兴烈

认证属性 迹模型 访问控制表 协议设计 高速搜索算法 协议形式化分析 有向图 递归流

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