Anders Andersen submitted the > > aspen > > package. > > Version: 1.23 2026-01-21 > License: lppl1.3c > > Summary description: Simple crypto notation in LaTeX > > Announcement text: > ---------------------------------------------------------------------- > > 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*. > > 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 [1], who has meant > so much for the fields of computer security, distributed systems, > and, in particular, security engineering. > > Aspen is a notation for security protocols. Despite the many > publications and textbooks found using notations for security > protocols, the notations used are not consistent. The motivation > for Aspen is to have an expressive and consistent notation that > can be used in different settings where security protocols are > presented. The Aspen package implements this notation for LaTeX. > > Aspen is not a formalism, like BAN (Burrows–Abadi–Needham) logic, > or a calculus for analysis of cryptographic protocols, like Spi > calculus. For a more detailed analysis of cryptographic protocols, > more expressive notations like BAN logic, Spi calculus, or > something similar should be considered. Optionally, the Aspen > LaTeX package also implements the BAN logic notation for LaTeX. > > The Aspen package and its documentation are available from CTAN and > from my private repository: > > - https://www.ctan.org/tex-archive/macros/latex/contrib/aspen > - https://www.pg12.org/dist/texmf/tex/latex/aspen/ > > Sincerely, > Anders Andersen > > [1] https://www.cl.cam.ac.uk/archive/rja14/ > > ---------------------------------------------------------------------- > > The package’s Catalogue entry can be viewed at > https://ctan.org/pkg/aspen > > The package’s files themselves can be inspected at > https://mirrors.ctan.org/macros/latex/contrib/aspen/ > > ---------------------------------------------------------------------- > > Thanks for the upload. > > For the CTAN Team > Vincent Goulet > > ---------------------------------------------------------------------- > > 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
_______________________________________________ ctan-ann mailing list -- [email protected] To unsubscribe send an email to [email protected]
