无线传感器网络密钥管理协议的语义分析
密码学与安全
2015-03-19 v1 网络与互联网体系结构
摘要
我们提出了一个简单的定时广播进程演算，用于建模无线网络协议。我们演算的操作语义以带标签的转移语义给出，该语义用于推导一个标准的（弱）互模拟理论。基于我们的模拟理论，我们重新表述了Gorrieri和Martinelli的定时广义非可演绎组合（tGNDC）方案，这是一个用于定义安全协议定时属性的通用框架。我们使用tGNDC对无线传感器网络的三个著名密钥管理协议进行了语义分析：μTESLA、LEAP+和LiSP。作为主要结果，我们提供了这些协议的一些攻击，据我们所知，这些攻击尚未出现在文献中。
引用
@article{arxiv.1109.5088,
title = {A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks},
author = {Francesco Ballardin and Damiano Macedonio and Massimo Merro and Mattia Tirapelle},
journal= {arXiv preprint arXiv:1109.5088},
year = {2015}
}
备注
51 pages