谢锋 桑田 黄连生 杨克 马征 李建中 张磊 熊蜀光 陈雷 周宏斌

形式化 数字签名 极值 Z方法 查询处理 形式化方法 推理逻辑 安全协议 无线传感器网络 攻击者 抽象 形式化验证 分布式算法 能量有效 角色冒充 加密协议

清华大学计算机科学与技术系 清华大学计算机系