**The Aspen package for simple crypto notation in LaTeX**

License: LPPL v1.3c,
[The LaTeX Project Public License 1.3](https://ctan.org/license/lppl1.3)

Author: [Anders Andersen](mailto:aspen@pg12.org), 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).

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](https://www.cl.cam.ac.uk/archive/rja14/)
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:

 - [https://ctan.org/pkg/aspen](https://ctan.org/pkg/aspen)
 
 - [https://www.pg12.org/dist/texmf/tex/latex/aspen/](https://www.pg12.org/dist/texmf/tex/latex/aspen/)
