网络形式化安全验证工具运行日志数据集
收藏国家基础学科公共科学数据中心2026-07-06 收录
官方服务：
资源简介：
基于自研的网络形式化安全验证工具平台，对6G典型协议进行安全验证以形成本数据集。主要包含工具在自动化分析过程中产生的运行状态记录与验证结果日志。来源于项目组依据3GPP标准及6G网络架构设计的典型协议形式化模型，以及验证工具底层引擎在执行逻辑推理与状态空间搜索时产生的实时计算数据。使用已开发的验证软件执行目标协议的安全性分析任务，系统自动捕获分析引擎在运行过程中的执行轨迹与计算结果，并将这些运行数据流记录保存为日志文件。数据量6.72MB
提供机构：
西安电子科技大学
