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 manage

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%93Needham_logic 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 https://en.wikipedia.org/wiki/Security_protocol_notation