论文部分内容阅读
电力通信是电力系统的重要组成部分。电力通信的安全需求包括身份认证,存取控制,防火墙等,这些安全需求的实现都依靠安全协议。安全协议是构建在密码体制上的一种交互协议,是电力通信系统可靠性的重要保障。但是,设计一个符合安全目标的安全协议是十分困难的。从安全协议的发展过程分析,往往是先设计协议,若在使用过程中发现了某个安全漏洞,弥补该漏洞,再继续使用。有些漏洞甚至在协议设计后的十几年才得以发现。因此,我们必须借助一些方法和技术指导协议的设计,并在协议设计后对其进行分析。本文研究协议的分析技术。自动