TAGA 的安全分析与设计：航空航天领域的 Touch and Go 助手
密码学与安全
2020-04-07 v1
摘要
当前航空航天领域致力于引入机器间无线网络通信，以改善机场地面流程，如加油与空调。为此，必须在飞机与相应地面单元（如加油车或预调单元）之间建立会话密钥。这由“航空航天领域的 touch and go 助手”（TAGA）提供，其允许操作员借助 NFC 系统将停车位的地面单元与飞机配对。本文给出我们对 TAGA 需求、安全概念及其模块化验证的安全分析与协同开发结果。我们表明，唯有通过先进安全协议与本地流程措施的结合，才能获得 TAGA 的安全且具弹性的设计。特别地，所选设计对长期密钥泄露与并行攻击升级具有完全弹性。
引用
@article{arxiv.2004.02516,
title = {Security Analysis and Design for TAGA: a Touch and Go Assistant in the Aerospace Domain},
author = {Sibylle Fröschle and Martin Kubisch and Marlon Gräfing},
journal= {arXiv preprint arXiv:2004.02516},
year = {2020}
}
备注
19 pages, 10 figures