本文主要讨论了5G核心网络access control的形式化分析，关注NF向NRF请求token，并向其他NF请求服务的过程。 文章提出5GCVerif工具对5G核心网络的访问控制策略进行了形式化验证，定义了4种安全属性，发现了5种可能的安全隐患，提出一些简单的防御措施。
Making Sense of Constellations: Methodologies for Understanding Starlink's Scheduling Algorithms
发表于
|
分类于
Measurement
由于Starlink网络和调度算法不透明，难以优化网络性能和验证方案，因此文章尝试测量Starlink性能。文章利用starlink-grpc-tools获取2D obstruction map，其处理思路值得借鉴。
TS 38.201 NR; Physical layer; General description (Release 18)
发表于
|
分类于
Standards
TS38.201是介绍性的标准，简单介绍了RAN的信道组成和PHY层承担的功能，以及PHY层相关标准。