1. Lecture Notes in Computer Science;J.-H. Hoepman,2006
2. ISO/IEC 14443. Identification cards - Contactless integrated circuit(s) cards - Proximity cards (2001)
3. Jacobs, B., Wichers Schreur, R.: Mifare Classic, logical formalization and analysis, PVS code (manuscript, 2008)
4. Kerckhoffs, A.: La cryptographie militaire. Journal des Sciences Militaires IX, 5–38 (1883)
5. Lecture Notes in Computer Science;G. Koning Gans de,2008