摘要：为了满足空间信息网络异构互联和高动态组网时,实施接入时的访问控制要求,基于Diffie-Hellman密钥交换,采用签名认证方式,在飞行器与外部子网无任何安全关联的假设条件下,提出了基于有证书的公钥系统模型下的空间信息网络安全接入认证与密钥协商协议,可用于飞行器进入空间信息网或跨子网漫游时,与接入点之间的双向认证与密钥协商过程.分析表明,在DDH（Decisional Diffie-Hellman）假定成立的前提下,所提出的协议在UC（Universally Composable）安全模型下是可证明安全的.

关键词：空间信息网络 通用可组合 认证与密钥协商 ddh假设 

单位：解放军信息工程大学电子技术学院; 河南郑州450004; 西安电子科技大学计算机学院; 陕西西安710071; 江苏大学计算机科学与通信工程学院; 江苏镇江212013