From Newsgroup: comp.text.tex
--Apple-Mail=_93D15AFA-6365-4033-9DC7-DF98A63656E8
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
charset=utf-8
Anders Andersen submitted the
=20
aspen
=20
package.
=20
Version: 1.23 2026-01-21
License: lppl1.3c
=20
Summary description: Simple crypto notation in LaTeX
=20
Announcement text: ----------------------------------------------------------------------
=20
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*.
=20
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.
=20
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.
=20
Aspen is not a formalism, like BAN (Burrows=E2=80=93Abadi=E2=80=93Needha=
m) 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.
=20
The Aspen package and its documentation are available from CTAN and
from my private repository:
=20
- https://www.ctan.org/tex-archive/macros/latex/contrib/aspen=20
- https://www.pg12.org/dist/texmf/tex/latex/aspen/
=20
Sincerely, =20
Anders Andersen
=20
[1] https://www.cl.cam.ac.uk/archive/rja14/
=20
----------------------------------------------------------------------
=20
The package=E2=80=99s Catalogue entry can be viewed at
https://ctan.org/pkg/aspen
=20
The package=E2=80=99s files themselves can be inspected at
https://mirrors.ctan.org/macros/latex/contrib/aspen/
=20
----------------------------------------------------------------------
=20
Thanks for the upload.
=20
For the CTAN Team
Vincent Goulet
=20
----------------------------------------------------------------------
=20
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
--Apple-Mail=_93D15AFA-6365-4033-9DC7-DF98A63656E8
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
charset=utf-8
<html aria-label=3D"message body"><head><meta http-equiv=3D"content-type" = content=3D"text/html; charset=3Dutf-8"></head><body =
style=3D"overflow-wrap: break-word; -webkit-nbsp-mode: space; =
line-break: after-white-space;"><div = class=3D"Apple-Mail-URLShareUserContentTopClass">Anders Andersen =
submitted the</div><div class=3D"Apple-Mail-URLShareWrapperClass" = style=3D"position: relative !important;"><blockquote type=3D"cite" = style=3D"border-left-style: none; color: inherit; padding: inherit; =
margin: inherit;"><br><span = class=3D"Apple-converted-space"> = </span> = aspen<br><br>package.<br><br>Version: 1.23 2026-01-21<br>License: = lppl1.3c<br><br>Summary description: Simple crypto notation in = LaTeX<br><br>Announcement = text:<br>-----------------------------------------------------------------= -----<br><br>The Aspen package implements LaTeX commands closely related =
to what<br>is often called *security protocol notation*, *standard = protocol<br>engineering notation*, *standard protocol notation*, or = *protocol<br>narrations*.<br><br>The name Aspen *can* be an abbreviation =
for *A Security Protocol<br>Engineering Notation*, but another possible = abbreviation is<br>*Anderson-inspired Standard Protocol Engineering = Notation*, in<br>memory of the late Professor Ross J. Anderson [1], who =
has meant<br>so much for the fields of computer security, distributed = systems,<br>and, in particular, security engineering.<br><br>Aspen is a = notation for security protocols. Despite the many<br>publications and = textbooks found using notations for security<br>protocols, the notations =
used are not consistent. The motivation<br>for Aspen is to have an =
expressive and consistent notation that<br>can be used in different =
settings where security protocols are<br>presented. The Aspen package = implements this notation for LaTeX.<br><br>Aspen is not a formalism, =
like BAN (Burrows=E2=80=93Abadi=E2=80=93Needham) logic,<br>or a calculus =
for analysis of cryptographic protocols, like Spi<br>calculus. For a =
more detailed analysis of cryptographic protocols,<br>more expressive = notations like BAN logic, Spi calculus, or<br>something similar should =
be considered.<span class=3D"Apple-converted-space"> </span> =
Optionally, the Aspen<br>LaTeX package also implements the BAN logic =
notation for LaTeX.<br><br>The Aspen package and its documentation are = available from CTAN and<br>from my private repository:<br><br> - =
https://www.ctan.org/tex-archive/macros/latex/contrib/aspen <br> - =
https://www.pg12.org/dist/texmf/tex/latex/aspen/<br><br>Sincerely,<span = class=3D"Apple-converted-space"> </span> <br>Anders =
Andersen<br><br>[1] =
https://www.cl.cam.ac.uk/archive/rja14/<br><br>---------------------------= -------------------------------------------<br><br>The package=E2=80=99s = Catalogue entry can be viewed at<br><span = class=3D"Apple-converted-space"> </span> =
https://ctan.org/pkg/aspen<br><br>The package=E2=80=99s files themselves =
can be inspected at<br><span = class=3D"Apple-converted-space"> </span> =
https://mirrors.ctan.org/macros/latex/contrib/aspen/<br><br>--------------= --------------------------------------------------------<br><br>Thanks =
for the upload.<br><br>For the CTAN Team<br>Vincent = Goulet<br><br>------------------------------------------------------------= ----------<br><br>CTAN is run entirely by volunteers and supported by =
TeX user groups.<br>Please join a user group or donate to one, see =
https://ctan.org/lugs<br>
</blockquote></div></body></html>=
--Apple-Mail=_93D15AFA-6365-4033-9DC7-DF98A63656E8--
--- Synchronet 3.21a-Linux NewsLink 1.2