Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph. Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata. In 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2-6 September 2002, Aix-en-Provence, France. pages 473-482, IEEE Computer Society, 2002. [doi]
Abstract is missing.