Mobility and Security
Luca Cardelli · 2000
Abstract. We discuss the computational aspects of wide area networks, and we describe various facets of a process calculus devised to embody mobility, security, and wide area network semantics. These lecture notes are an abridged version of [8, 11, 27, 12, 13].