UL-AKE HLPSL Specifications

Published: 24 April 2026| Version 1 | DOI: 10.17632/3v5pyywbzk.1
Contributor:
Denis Trcek

Description

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

Files

Steps to reproduce

ARIS

Categories

Computer Communications, Information Security, Computer Engineering, Formal Specification

Licence