[motohagiography]

As a security guy, this python seq diagram view would be super valuable as essentially a markup language for BAN logic for documenting encryption and key management schemes.

https://en.wikipedia.org/wiki/Burrows%E2%80%93Abadi%E2%80%93...

Oddly, I've never heard this called "security protocol notation" before, but apparently that's a thing as well. https://en.wikipedia.org/wiki/Security_protocol_notation