卿斯汉 冯登国 袁秀梅 贺也平 周永彬 王贵林 王明生 张振峰

群签名 抽象体系 形式模型 IPC对象 交互攻击 门限群签名 公平交换协议 信息安全 安全级范围 密码学 形式系统 数字签名 可验证的、加密的签名 分析 安全性 RSA密码体制 安全性质 协议 安全协议 CEMBS 模态逻辑 机密性策略 多级实体

中国科学院软件研究所信息安全国家重点实验... 中国科学院软件研究所 中国科学院信息安全技术工程研究中心 中国科学院软件研究所信息安全工程研究中心 北京100080中国科学院信息安全技术工... 北京100080中国科学院信息安全国家重... 北京100080中国科学院信息安全技术工... 中国科学院软件研究所信息安全技术工程研究...