论文部分内容阅读
宽带电力线通信(BPL)是一种利用电力线传输信息的高速电力线通信技术。近年来，随着智能家居、物联网技术的兴起，以及人们对随时随地接入互联网要求的不断提高，宽带电力线通信由于其部署快速、覆盖范围广等优势日益受到人们的关注。IEEE1901标准定义了宽带电力线通信MAC层和物理层的规范，标准中使用强安全网络(RSN)作为默认安全体制。本文分析了强安全网络连接(RSNA)协议的三个重要组成部分：CCMP协议、基于IEEE802.1x的访问控制和动态密钥管理，分析表明强安全网络RSN具有很强的安全性，但给攻击者留下了进行DoS或DDoS攻击的机会。本文提出一种新的密钥交换机制，相比原有的四步握手协议可以提供更强的安全性。改进后的技术可以对DoS攻击提供安全性保护。通过使用形式化分析安全协议技术中的串空间理论，对改进后的四步握手协议进行了形式化分析，证明可以抵抗DoS攻击。