Announcements for aspen
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 | 1.23 2026-01-21 |
| Copyright | 2024–2025 Anders Andersen |
| Maintainer | Anders Andersen |
Atom Atom 1.0 feed with announcements for package aspen.
RSS RSS 2.0 feed with announcements for package aspen.