如何规约并证明移动自组网安全路由协议的正确性
密码学与安全
2016-11-17 v1 网络与互联网体系结构
摘要
移动自组网的安全路由协议近年来已有发展，然而，这些协议所实现的属性尚不明确，因为对这些协议的形式化分析大多缺失。在本文中，我们关注这个问题：如何规约并证明安全路由协议的正确性。我们给出了一个协议预期实现的目标的定义，该定义独立于其功能，以及通信和敌手模型。通过这种方式，我们能够对安全路由协议的正确性进行形式化推理。我们通过分析文献中的两个协议来演示这一点。
引用
@article{arxiv.0912.5497,
title = {How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET},
author = {P. Papadimitratos and Z. J. Haas and J. -P. Hubaux},
journal= {arXiv preprint arXiv:0912.5497},
year = {2016}
}