1. Lecture Notes in Artificial Intelligence;W. Ahrendt,2002
2. Basin, D.A., Mödersheim, S., Viganò, L.: OFMC: A symbolic model checker for security protocols. International Journal of Information Security 4(3), 181–208 (2005)
3. Bird, R.: Introduction to Functional Programming Using Haskell, 2nd edn. Prentice Hall Europe, Englewood Cliffs (1998)
4. Blanchet, B.: An efficient cryptographic protocol verifier based on prolog rules. In: Computer Security Foundations Workshop, pp. 82–96. IEEE Computer Science Press, Los Alamitos (2001)
5. Lecture Notes in Computer Science;A. Bundy,1988