Andrew D. Gordon. Notes on Nominal Calculi for Security and Mobility. In Riccardo Focardi, Roberto Gorrieri, editors, Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000]. Volume 2171 of Lecture Notes in Computer Science, pages 262-330, Springer, 2000. [doi]
Abstract is missing.