针对空间信息网络中大量移动用户的跨域认证问题，提出了一种基于动态撤销机制的安全高效的批量认证方案。该方案通过对卫星运动轨迹的预测和实时更新，提前完成密钥协商。同时，设计了一种可由单个或大量移动终端进行签名和验证的算法，有效降低了卫星的计算负担。结合布谷鸟过滤器，实现了移动终端的动态撤销和恶意访问控制功能。最后，在Diffie-Hellman假设下，基于随机预言机模型和自动验证工具，证明了该方案能够抵抗重播和中间人攻击。该方案实现了可追溯性和可撤销性的安全目标。与现有的优化方案相比，传输效率和计算效率分别提高了80%和20%以上。