UL-AKE Family Ver 2 HLPSL Speecification

Published: 8 July 2026| Version 1 | DOI: 10.17632/hchj7k5xvt.1
Contributor:
Denis Trcek

Description

This file contains formal specifications of version 2 of UL-AKE family of protocols that are intended for formal verification with AVISPA model checker.

Files

Steps to reproduce

Simply use AVISPA model checker.

Institutions

Categories

Cryptography, Security Protocol, Formal Reasoning

Funders

  • Slovene Research and Innovation Agency ARIS
    Grant ID: P2-0359

Licence