The Seal calculus is a distributed process calculus with localities and mobility of computational entities called seals. Seal
is also a framework for writing secure distributed applications over large scale open networks such as the Internet. This
paper motivates our design choices, presents the syntax and reduction semantics of the calculus, and demonstrates its expressiveness
by examples focused on security and management distributed systems.