Jay A. McCarthy, Shriram Krishnamurthi. Trusted Multiplexing of Cryptographic Protocols. In Pierpaolo Degano, Joshua D. Guttman, editors, Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Volume 5983 of Lecture Notes in Computer Science, pages 217-232, Springer, 2009. [doi]
Abstract is missing.