WSKE4PUF protocol HLPSL file
收藏Mendeley Data2026-04-18 收录
下载链接：
https://data.mendeley.com/datasets/6c9bh5d4gg
下载链接
链接失效反馈官方服务：
资源简介：
This file contains a formal description of WKSE4PUF protocol for formal verification with AVISPA.
本文件包含用于通过AVISPA开展形式化验证的WKSE4PUF协议的形式化描述。
创建时间：
2024-01-22
