基于时序关系的消息推理及安全协议符号迹分析探究.pdfVIP

中国像；纠簟碍宪陂学极 No．2 第2期 V01．5 ofCAEIT 2010年4月 Journal Apr．2010 基于时序关系的消息推理及安全协议 符号迹分析 谢鸿波1’2，吴远成1，周明天1 (1．电子科技大学计算机科学与工程学院，成都610054； 2．重庆通信学院三系数据链教研室，重庆400035) 摘要：如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全 协议形式化分析中的两个关键问题。提出了基于时序关系的消息推理，把实体的知识与协议的符 号迹分析结合起来，构建了协议运行的一般模型。在此模型下，消息