找到1个数据集

标签: SPDL规范

过滤结果

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

    2025年11月28日 30 196 133

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