Local mirror of Automated Stateful Protocol Verification entry of the Archive of Formal Proofs (AFP).
Nie możesz wybrać więcej, niż 25 tematów Tematy muszą się zaczynać od litery lub cyfry, mogą zawierać myślniki ('-') i mogą mieć do 35 znaków.
 
 
 
 
 
 
Achim D. Brucker 140ae6d623 Import of AFP for Isabelle 2021. 1 miesiąc temu
Automated_Stateful_Protocol_Verification Import of AFP for Isabelle 2021. 1 miesiąc temu
CITATION Added CSF 2021 paper. 3 miesięcy temu
LICENSE Initial commit, based on AFP entry dated 2020-05-22. 10 miesięcy temu
README.md Added CSF 2021 paper. 3 miesięcy temu

README.md

Automated Stateful Protocol Verification

This git repository contains a local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).

The official AFP releases are tagged. Additionally, this repository may contain extensions (i.e., a development version) that may be submitted (as an update of the Automated Stateful Protocol Verification entry) at a later stage.

Installation

This project depends on another AFP entry: Stateful Protocol Composition and Typing. Please follow the official guidelines for installing the AFP locally. For short:

  • Download the complete AFP
  • Extract the downloaded archive to an directory of your choice
  • Let’s assume the extracted archive lives in /home/isabelle/afp, now execute:
achim@logicalhacking:~$ echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2020/ROOTS

How to build

achim@logicalhacking:~$ isabelle build -D Automated_Stateful_Protocol_Verification

Authors

License

This project is licensed under a 3-clause BSD-style license.

SPDX-License-Identifier: BSD-3-Clause

Master Repository

The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/afp-mirror/Automated_Stateful_Protocol_Verification.

Publications