Abendroth, J. Applying Pi-Calculus to Practice: An Example of a Unified Security Mechanism. BRICS 2003, 10.