Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
Nevar pievienot vairāk kā 25 tēmas Tēmai ir jāsākas ar burtu vai ciparu, tā var saturēt domu zīmes ('-') un var būt līdz 35 simboliem gara.
Achim D. Brucker 0ad8d1fed7 Fixed URLs. pirms 7 mēnešiem
Stateful_Protocol_Composition_and_Typing Initial commit, based on AFP entry dated 2020-05-22. pirms 7 mēnešiem
CITATION Initial commit, based on AFP entry dated 2020-05-22. pirms 7 mēnešiem
LICENSE Initial commit, based on AFP entry dated 2020-05-22. pirms 7 mēnešiem
README.md Fixed URLs. pirms 7 mēnešiem

README.md

Stateful Protocol Composition and Typing

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 Stateful Protocol Composition and Typing entry) at a later stage.

Installation

achim@logicalhacking:~$ isabelle build -D Stateful_Protocol_Composition_and_Typing.html

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/Stateful_Protocol_Composition_and_Typing.

Publications