View of Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism

Return to Article Details Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism Download Download PDF