J. Abendroth, “Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism”, BRICS, vol. 10, no. 39, Nov. 2003.