1. Arapinis, M.: Sécurité des protocoles cryptographiques: décidabilité et résultats de réduction. PhD thesis, Université Paris-Est (November 2008)
2. Lecture Notes in Computer Science;M. Arapinis,2007
3. Armando, A., Compagna, L.: SAT-based model-checking for security protocols analysis. International Journal of Information Security 7(1), 3–32 (2008)
4. Bieber, P., Boulahia-Cuppens, N.: Formal development of authentication protocols. In: Sixth BCS-FACS Refinement Workshop (1994)
5. Cervesato, I., Meadows, C., Pavlovic, D.: An encapsulated authentication logic for reasoning about key distribution protocols. In: CSFW 2005: Proceedings of the 18th IEEE Workshop on Computer Security Foundations, Washington, DC, USA, pp. 48–61 (2005)