UL-AKE HLPSL Specifications

Mendeley Data2026-05-21 收录

协议形式化验证

认证密钥交换

数据链接：

https://data.mendeley.com/datasets/3v5pyywbzk 数据链接链接失效反馈

官方服务：

资源简介：

This file contains formal specifications of two version of UL-AKE protocol that are suitable for formal verification with AVISPA model checker.

创建时间：

2026-04-24

ARQ CC BY Public Snapshot: Canonical Protocol and Supporting Notes (2026-03-27)

协议形式化验证

分布式系统问责机制

This archival package captures a CC BY 4.0-identified public snapshot of ARQ materials from the sovereign-entity-recursion repository, updated after the 2026-03-25 snapshot. It contains the canonical

Zenodo2026-03-28 更新40

A ProVerif2.03 code.

远程办公安全

协议形式化验证

The Internet has advanced so quickly that we can now access any service at any time, from any location. As a result of this capability, People around the world can benefit from the popularity and conv

Figshare2024-03-21 更新20

ProVerif simulation code.

无人机集群

协议形式化验证

Drones have limited computing and storage resources, which makes them unable to perform complex tactical tasks; drones working in clusters can be employed for such complex tactical task completion. Bu

NIAID Data Ecosystem10

Artifacts for NDSS 2024 paper "A Unified Symbolic Analysis of WireGuard"

协议形式化验证

VPN安全分析

This project gathers symbolic analyses of WireGuard protocol, with the help of Sapic+, Tamarin and ProVerif proof assistants. The following properties are verified: agreement, secrecy and anonymity.

Zenodo2025-06-07 更新40

A ProVerif2.03 code.

远程办公安全

协议形式化验证

NIAID Data Ecosystem10

UL-AKE HLPSL Specifications

资源简介：

相关数据集