New answers tagged asn1
It's not exactly what you requested but at least these two are worth a look in my opinion. There's a general and abstract notation for describing security protocols, which is being used to describe quite complicated stuff such as Kerberos. The Needham-Schröder protocol can also be expressed this way. Again, not really what you were looking for, but made ...
It sounds like you're somewhat describing the Cryptographic Message Syntax (CMS). It loosely grew out of PKCS#7.
Top 50 recent answers are included