Simpl' protocol HLPSL specification
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://data.mendeley.com/datasets/5x23rjnt3z
下载链接
链接失效反馈官方服务：
资源简介：
This file contains HLPSL specification of authenticated key-exchange protocol called Simpl' (based solely on cryptographic one-way hash functions), which is quantum computing resistant and suitable for IoT devices. The HLPSL file can be used with AVISPA formal verification tool.
创建时间：
2024-09-06
