论文部分内容阅读
对等实体鉴别服务是网络安全体系结构中的一项重要服务。本文介绍了计算机网络通信环境中的带时间标记的鉴别协议,该协议具有对称性,事件的时序是任意的。根据该协议的状态转称图,本文应用可达性分析技术,验证了该协议的完整性,无死锁,无活锁,终止性,有界性以及在不存任何不可执行的交互作用等重要性质。