张云 张焕国 沈丽红 严飞 何凡 李福林 杨飏 余发江 黄宁玉 汪红 李立新 周雁舟 宋扬 徐震 徐宁 孟学军 马朝斌 张兴

可信软件栈 电子现金 直接匿名证明 一致性测试 短群签名 信息安全 防火墙 JETWAY安全计算机 标准模型 可信计算 平台兼容 公钥基础设施 盲签名 可信密码模块 混合交叉认证 统一认证 安全嵌入模块 模型检测 数字证书 TPM 远程证明 计算树逻辑