UL-AKE HLPSL Specifications
收藏DataCite Commons2026-04-24 更新2026-05-04 收录
下载链接：
https://data.mendeley.com/datasets/3v5pyywbzk/1
下载链接
链接失效反馈官方服务：
资源简介：
This file contains formal specifications of two version of UL-AKE protocol that are suitable for formal verification with AVISPA model checker.
提供机构：
Mendeley Data
创建时间：
2026-04-24
