Ueli M. Maurer, Pierre E. Schmid. A Calculus for Secure Channel Establishment in Open Networks. In Dieter Gollmann, editor, Computer Security - ESORICS 94, Third European Symposium on Research in Computer Security, Brighton, UK, November 7-9, 1994, Proceedings. Volume 875 of Lecture Notes in Computer Science, pages 175-192, Springer, 1994. [doi]
@inproceedings{MaurerS94:1, title = {A Calculus for Secure Channel Establishment in Open Networks}, author = {Ueli M. Maurer and Pierre E. Schmid}, year = {1994}, doi = {10.1007/3-540-58618-0_63}, url = {http://dx.doi.org/10.1007/3-540-58618-0_63}, tags = {source-to-source, e-science, open-source}, researchr = {https://researchr.org/publication/MaurerS94%3A1}, cites = {0}, citedby = {0}, pages = {175-192}, booktitle = {Computer Security - ESORICS 94, Third European Symposium on Research in Computer Security, Brighton, UK, November 7-9, 1994, Proceedings}, editor = {Dieter Gollmann}, volume = {875}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58618-0}, }