No. 39 (2003): RS-39 Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism