数据集 - 海数据

Android本地存储安全增强协议SPDL规范数据集

2025年11月28日 30 30 3

数据集概述本数据集包含针对Android本地存储安全增强协议的SPDL（安全协议描述语言）规范文件，用于Scyther工具验证。规范覆盖初始化阶段与认证及密钥发送阶段，支持安全协议的形式化验证与漏洞分析。文件详解...
- ZIP

智能助手

您好！我是海数据平台的智能助手，有什么可以帮助您的吗？