机构名称：
¥ 2.0
摘要。太空网络已成为不断增长的发展领域，并增加了世界各地政府的卫星和太空业务。然而，从历史上看，这种网络设计尚未公开，导致对它们提供的安全性的正式加密分析有限。空间网络中使用的少数公共协议之一是捆绑协议，该协议由互联网工程工作组（IETF）标准的Bundle协议安全性（BPSEC）确保。我们在其默认安全环境下对BPSEC进行了首次分析，建立了IETF标准中规定的安全渠道安全目标的模型，并在消息丢失检测中注意其中的问题。我们证明了BPSEC安全，还提供了更强的结构，该结构支持捆绑协议的功能目标，同时还确保目的地对丢失消息组件的意识。
密码学是火箭科学 - 密码学EPRINT档案
主要关键词
相关文件推荐
