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]
@inproceedings{Gordon00:4,
title = {Notes on Nominal Calculi for Security and Mobility},
author = {Andrew D. Gordon},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/2171/21710262.htm},
tags = {security},
researchr = {https://researchr.org/publication/Gordon00%3A4},
cites = {0},
citedby = {0},
pages = {262-330},
booktitle = {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]},
editor = {Riccardo Focardi and Roberto Gorrieri},
volume = {2171},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42896-8},
}