摘要： 评估一个安全协议是否安全就是撞查在某种应用环橙中，协议设计所要达到的安全属性是否会进到攻击者的破坏.网络通信环境是安全协议运行的物理圣础，在分布式环境中运行安全协议的故大问题在于这个通信环境存在许多未知的、不确定的、不安全的因素，攻.3i者无时无刻不存在，手段和能力无法具体估计和童化，刻画安全协议的运行环境和形式化描述攻击者的能力比较困难。安全协议运行环境的异常复杂性也是导致安全协议的设计和分析比较困难的原因之一。安全协议的形式化分析最主要的问题在于评价和摸拟这个环境，对网络，扣存在的攻击者的模型其体化。 如果将安全协议及其所处的环境视为一个系统.那么在这个系统中，一般包括发送和接收信息的诚. 阅读全文