Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz. Security for Mobility. In Riccardo Focardi, Roberto Gorrieri, editors, Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures. Volume 2946 of Lecture Notes in Computer Science, pages 207-265, Springer, 2002. [doi]
Abstract is missing.