Mobility in distributed systems

Our lectures present various process calculi with special emphasis on modelling distributed and mobile computation. We discuss mobility both in terms of name mobility, which leads to questions of secrecy of resources, and in terms of process mobility, which leads to higher order systems with mobile agents. We describe the usage of local names to represent communication channels, addresses, and cryptographic keys. We discuss operational semantics, equational properties, and specification logics.

References

• "Communicating and Mobile Systems: The Pi-Calculus",
  Robin Milner, Cambridge University Press, 1999

• "Abstractions for Mobile Computation." - Luca Cardelli :
• "Mobility and Security" . Luca Cardelli (abridged version of Ambient Calculus papers) :

• "Authentication Primitives and their Compilation"
  Martin Abadi, Cédric Fournet, Georges Gonthier,

• "Mobile Values, New Names, and Secure Communication"
  Martin Abadi and Cédric Fournet :