摘要： 信息安全最基本的目标是实现信息的机密性，保证数据的完整性，实现身份或信息的鉴别性，具有不可抵赖性，对信息的授权和访问控制以及保证信息资源的可用性等。信息在开放的网络环境中传输会遭到各种各样的攻击，如偷听攻击、截取攻击、伪造攻击和篡改攻击等。这些攻击的存在不同程度地损害了网络用户的利益。因此，网络安全直接关系到信息系统安全，是整个信息基础结构的安全基础。为了维护开放网络环境的安全，人们广泛地使用了密码技术和安全协议。密码技术的主要功能是提供安全的服务，通过使用密码算法对消息明文进行加密以保证消息本身的安全性。它是网络安全的基础，但网络安全不能仅靠安全的密码算法实现，还需要完善的安全协议保证通信. 阅读全文

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