付吉 南相浩 赵远 徐仁义 荣昆 张彦肖 周轶武 马涛 马宇驰 陈钟 吕嘉祥 谢文海 杨磊 陈化平 周加法

入侵检测 GNY逻辑 层次化 组合公钥 可信连接 基于身份 代理签名 公钥基础设施 Kailar逻辑 可信计算 签密 可靠性 代理多重签名 CPK BAN类逻辑 基于身份的公钥体制 异常检测 电子商务协议 多代理多重签名 安全协议 安全性分析 代理多代理 可信交易 误用检测 BAN逻辑

信息工程大学信息工程学院