You are about to access our book library "The Modelling and Analysis of Security Protocols: The Csp Approach full version" .