中文摘要：

于空间信息网络（spaceinformationnetwork，SIN)具有高动态拓扑、卫星计算和通信资源受限等特点，当群组飞行器需要与卫星快速接入认证以实现信息连续收集或扩大观测范围时，已有协议方案不能完全满足SIN的特点和一些应用需求.为此，提出一种面向空间信息网，协议组合逻辑（protocolcompositionlogic，PCL)安全的群组多用户快速认证协议（TSNP).基于对称加密体制、密钥分层的思想，TSNP允许群组内完成接入认证的节点向其他用户发送消息，通过计算使得群组内用户拥有与卫星通信的密钥，实现群组内用户高效安全认证或切换.通过PCL模型对TSNP各阶段协议安全属性进行分析，并使用并行和顺序组合方法证明TSNP能保障组合后协议的安全属性.实验结果表明：TSNP—方面减少了对地面管理中心的依赖程度，同时有效降低了卫星计算和通信开销.

英文摘要：

In space information networks (SIN) ? to continuously collect information and enlarge the observation range, the group aircrafts need to fast access authenticate with the satellite. Unfortunately?the existing authentications schemes cannot be applied in SIN due to its particular characteristics, such as high dynamic topology, satellite computation and limited communication resources? etc. To this end, we propose a PCL (protocol composition logic) secure and efficient group authentication protocolnamed as TSNP through utilizing symmetric encryption and key hierarchy. With it, the authenticatednode enables other users in this group to gain the session key and realize the secure groupauthentication and handover. Furthermore, we analyze its security properties in PCL mode and proveits composition security based on parallel and sequential rules. As a further contribution, the experimental results indicate that TSNP can reduce not only the dependence on group management center but also the satellited computation and communication overhead.