List of Tables

• . Les prédicats de Burrows-Abadi-Needham.
• . Règles d'inférence en logique B.A.N.
• 3. Conventions de notation.
• . Le mécanisme des tickets.
• . RPC sécurisé.
• 6. Andrew : un dialogue BIND.
• . La brèche dans le BIND.
• 8. Dialogue avec Kerberos.
• 9. Dialogue avec le TGS.
• 10. Le protocole Mark, Lomas et al.
• . Protocole M.L.G.S. : le cas dissymétrique.
• 12. Un exemple de programme C.
• 13. Les mots de passe avec DbOutils.
• . Générateur "imprévisible".
• 15. Extrait d'un fichier /etc/passwd.
• . Déterminer la factorisabilité.
• 17. RSA: un exemple (simpliste).
• . Méthode de Wiener.
• . Un texte vérifiable.
• 20. Une attaque au saucissonnage.
• 21. Nonces, modes d'emploi.