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).