5G网络中的基站广播未经认证的系统信息（SI），所有用户设备（UE）在小区选择时都会读取这些信息。这使攻击者能够通过虚假基站（FBS）广播伪造的SI，诱骗UE驻留其小区。现有方法要求UE使用数字签名来认证系统信息块1（SIB1），但每次接收SIB1都需要进行计算密集的签名验证，给资源受限的UE带来沉重负担。本文提出TESLA-for-5G（TF5），一种针对5G SIB1的广播认证协议，结合了TESLA（时间高效流丢失容忍认证）与GG09 Schnorr类身份基签名（IBS）。在稳定状态下，TF5使UE能够使用对称MAC和延迟密钥披露来认证每个SIB1消息，无需对每条消息进行数字签名。初始信任通过在小区接入时使用轻量级GG09 IBS对TESLA参数进行引导，避免了证书分发的开销。作者在Tamarin形式化验证工具中，在Dolev-Yao敌手模型下对TF5进行了正式验证，并通过在OpenAirInterface 5G协议栈上的实现以及基于跟踪驱动的分析，证明了其在计算、通信和存储成本方面的优势。