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]
@inproceedings{McCarthyK09,
title = {Trusted Multiplexing of Cryptographic Protocols},
author = {Jay A. McCarthy and Shriram Krishnamurthi},
year = {2009},
doi = {10.1007/978-3-642-12459-4_16},
url = {http://dx.doi.org/10.1007/978-3-642-12459-4_16},
tags = {protocol},
researchr = {https://researchr.org/publication/McCarthyK09},
cites = {0},
citedby = {0},
pages = {217-232},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers},
editor = {Pierpaolo Degano and Joshua D. Guttman},
volume = {5983},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-12458-7},
}