Analysing the Woo-Lam protocol using CSP and rank functions In Proceedings of the 3rd International Workshop on Security in Information Systems - Volume 0ICEIS, 3-12, 2005 , Miami, United States