Directory macros/latex/contrib/aspen
The Aspen package for simple crypto notation in LaTeX
License: LPPL v1.3c, The LaTeX Project Public License 1.3
Author: Anders Andersen, UiT The Arctic University of Norway
The Aspen package implements LaTeX commands closely related to what is often called security protocol notation, standard protocol engineering notation, standard protocol notation, or protocol narrations.
Optionally, the Aspen package also implements LaTeX commands for Burrows–Abadi–Needham logic (BAN logic).
Starting with version 2.0, all LaTeX commands in the package has changed name. The Aspen commands have been given a prefix A (uppercase letter A) and the BAN-logic commands have been given a prefic BAN. The latest release of the version 1 series is still available: aspen-1.29.sty
The name Aspen can be an abbreviation for A Security Protocol Engineering Notation, but another possible abbreviation is Anderson-inspired Standard Protocol Engineering Notation, in memory of the late Professor Ross J. Anderson who has meant so much for the fields of computer security, distributed systems, and, in particular, security engineering.
The Aspen package and its documentation are available from CTAN and from my private repository:
Download the contents of this package in one zip archive (382.5k).
aspen – Simple crypto notation in LaTeX
The Aspen package implements LaTeX commands closely related to what is often called security protocol notation, standard protocol engineering notation, standard protocol notation, or protocol narrations.
Optionally, the Aspen package also implements LaTeX commands for Burrows–Abadi–Needham logic (BAN logic).
The name Aspen can be an abbreviation for A Security Protocol Engineering Notation, but another possible abbreviation is Anderson-inspired Standard Protocol Engineering Notation, in memory of the late Professor Ross J. Anderson who has meant so much for the fields of computer security, distributed systems, and, in particular, security engineering.
| Package | aspen |
| Home page | https://www.pg12.org/software |
| Version | 2.2 2026-03-24 |
| Licenses | The LaTeX Project Public License 1.3c |
| Copyright | 2024–2026 Anders Andersen |
| Maintainer | Anders Andersen |
| Contained in | TeX Live as aspen MiKTeX as aspen |
| Topics | Scientific documents Security Engineering |
