一种用于航空电子无线网络的高效、安全且可信的信道协议

航空电子网络依赖于一套严格的可靠性和安全性要求。在现有部署中，这些网络基于支持这些要求的有线技术。此外，该技术简化了网络的安全管理，因为可以安全地做出某些假设，包括攻击者无法访问网络，以及攻击者几乎不可能将节点引入网络。目前由多个航空航天工作组开发的航空电子无线网络（AWNs）提案有望降低电气线束设计和制造的复杂性、减少导线总重量、增加定制可能性，并能够监控原本无法触及的运动或旋转飞机部件，如起落架和飞机发动机的某些部分。在提供这些好处的同时，AWN必须确保其提供的安全水平至少等同于有线等效方案。在本文中，我们提出了一种安全可信的信道协议，该协议满足AWN协议所规定的安全和运行要求。该协议有三个主要目标。首先，协议必须提供保证，使所有通信实体能够互相信任，并能信任其内部（安全）的软件和硬件状态。其次，协议必须在所有通信实体之间建立公平的密钥交换，以提供安全信道。最后，第三个目标是在网络初始启动以及节点冷和/或热重启后恢复会话时都要高效。所提出的协议已实现，并基于此实现给出了性能测量结果。此外，我们使用CasperFDR对我们提出的协议进行了形式化验证。