Hot answers tagged protocols
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 ...
Only top voted, non community-wiki answers of a minimum length are eligible