CTAN update: aspen
In this updated version the major revision number was bumped from 1 to 2 since all LaTeX commands have been renamed. All Aspen commands now have the prefix "A" (uppercase letter A). All BAN-logic commands now have the prefix "BAN".
This package is located at https://mirrors.ctan.org/macros/latex/contrib/aspen More information is at https://www.ctan.org/pkg/aspen
Thanks for the upload. For the CTAN Team Erik Braun
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
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 |
| Version | 2.1 2026-03-18 |
| Copyright | 2024–2026 Anders Andersen |
| Maintainer | Anders Andersen |