Formal Analysis of Access Control Mechanism of 5G Core Network.
5G核心网作为下一代移动通信网络的核心，其访问控制机制的安全性至关重要。然而，由于5G核心网的复杂性，传统的安全分析手段难以全面覆盖其访问控制策略的潜在缺陷。本文提出5GCVerif，一个基于模型测试的形式化分析框架，专门用于分析5G核心网
#5G security
共收录 2 条相关情报。
← 返回所有主题PGUS: Pretty Good User Security for Thick MVNOs with a Novel Sanitizable Blind Signature.
本文针对厚移动虚拟网络运营商（Thick MVNO）在5G环境下面临的安全与隐私挑战，提出了一种名为PGUS（Pretty Good User Security）的安全框架。该框架的核心创新是引入了一种新的密码学原语——可净化盲签名（San