The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication

   Abstract