Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi. Integrating Logics and Process Calculi for Cryptographic Protocol Analysis. In Dimitris Gritzalis, Sabrina De Capitani di Vimercati, Pierangela Samarati, Sokratis K. Katsikas, editors, Security and Privacy in the Age of Uncertainty, IFIP TC11 18:::th::: International Conference on Information Security (SEC2003), May 26-28, 2003, Athens, Greece. Volume 250 of IFIP Conference Proceedings, pages 349-360, Kluwer, 2003.
Abstract is missing.