-
WSKE4PUF协议HLPSL形式化验证完整文件
2025年11月29日 30 95 34
数据集概述 本数据集包含用于WSKE4PUF（基于物理不可克隆函数的无线传感器网络密钥交换）协议形式化验证的HLPSL语言描述文件。该文件为AVISPA工具提供协议的形式化规范，用于自动化安全分析。数据集仅包含一个HLPSL格式的文件，专门用于协议安全属性的验证。 文件详解 文件名称：WSKEaktivniC.hlpsl 文件格式：HLPSL...
2025年11月29日 30 95 34
