| Detailed view | pastel-00001168, version 1 |
|
|
|
|
|
|
|
|
| Defence date | 2004-12 |
| Sciences et technologies de l'information et de la communication | |
| Library | Télécom ParisTech |
| Keywords | Protocole de sécurité – Services de sécurité – Sécurisation des échanges – Sécurisation des réseaux – Protocole de gestion des clés – Protocole d'authentification – Ssl – Ipsec – Isakmp – Ike – Sep |
| Remerciements - 7 Résumé - 9 Abstract - 11 Table des matières - 13 Liste des figures - 17 Liste des tableaux - 19 1 Introduction et contributions de cette thèse - 21 1.1 Introduction et problématique - 21 1.2 Besoins de nouveaux services et protocoles - 22 1.3 Contributions de cette thèse - 23 1.4 Plan de ce mémoire de thèse - 24 2 Définition des exigences pour les protocoles de sécurité - 27 2.1 Résumé - 27 2.2 Introduction - 27 2.3 Les exigences en terme de sécurité - 27 2.4 Conclusion - 36 3 Analyse des solutions de sécurité existantes - 39 3.1 Résumé - 39 3.2 Introduction - 39 3.3 Le protocole SSH (Secure Shell) - 40 3.3.1 Introduction - 40 3.3.2 Architecture - 40 3.3.3 Les avantages - 45 3.3.4 Les inconvénients - 46 3.4 Le protocole SSL/TLS - 47 3.4.1 Introduction - 47 3.4.2 Architecture - 48 3.4.3 Le protocole Handshake - 49 3.4.4 Le protocole Handshake de TLS Extensions - 51 3.4.5 Le protocole Record - 52 3.4.6 Les opérations cryptographiques de SSL/TLS - 53 3.4.7 Les avantages - 54 3.4.8 Les inconvénients - 55 3.5 Le protocole IPSec - 57 3.5.1 Introduction - 57 3.5.2 Les services offerts par IPSec - 57 3.5.3 Architecture - 59 3.5.4 La gestion des clés dans IPSec - 60 3.5.5 Les avantages - 60 3.5.6 Les inconvénients - 61 3.6 Les protocoles ISAKMP et IKEv1 - 62 3.6.1 Introduction - 62 3.6.2 Architecture - 63 3.6.3 Les échanges ISAKMP/IKEv1 - 64 3.6.4 Fonctionnement des deux phases - 65 3.6.5 Les opérations cryptographiques d'ISAKMP phase 1 - 66 3.6.6 Les successeurs d'ISAKMP et IKEv1 - 67 3.6.7 Analyse des successeurs - 71 3.7 Comparaison entre les différentes solutions - 72 3.8 Conclusion - 76 4 Intégration d'ISAKMP dans SSL/TLS - 81 4.1 Résumé - 81 4.2 Introduction - 81 4.3 Les motivations - 82 4.4 Intégration d'ISAKMP dans SSL/TLS - 84 4.4.1 Contraintes de base - 84 4.4.2 Architecture - 84 4.4.3 La négociation des associations de sécurité - 86 4.4.4 ISAKMP et le protocole Record de SSL/TLS - 96 4.4.5 ISAKMP et TLS Extensions - 96 4.4.6 Proposition d'une DOI pour SSL/TLS - 99 4.5 Conclusion - 103 5 Génération d'une preuve de non répudiation avec SSL/TLS - 105 5.1 Résumé - 105 5.2 Introduction - 105 5.3 Motivations - 106 5.4 L'approche TLS-SIGN - 108 5.4.1 Présentation générale - 108 5.4.2 Contraintes de base - 109 5.4.3 Signature électronique et identification - 110 5.4.4 Les phases de vérification - 110 5.4.5 Le protocole Handshake - 111 5.4.6 TLS-SIGN et la couche Record de SSL/TLS - 114 5.5 Scénario d'une application TéléTVA avec TLS-SIGN - 115 5.6 Implémentation - 116 5.7 Conclusion - 118 6 Le protocole SEP (Secure and Extensible Protocol) - 121 6.1 Préambule - 121 6.2 Résumé - 121 6.3 Introduction - 121 6.4 Scénario d'utilisation de SEP: accès à distance sécurisées - 122 6.5 Processus de conception - 123 6.6 Les exigences - 126 6.7 Les participants - 127 6.8 Les architectures de communication dans SEP - 127 6.9 Les services fournis par SEP - 129 6.10 Les caractéristiques de SEP - 131 6.11 Le protocole SEP - 133 6.11.1 Les sous protocoles - 133 6.11.2 La session SEP - 135 6.11.3 Le protocole de transfert - 137 6.11.4 Le Protocole d'Authentification et de Négociation des Services (ASNP) - 139 6.11.5 Le protocole alarme - 156 6.11.6 Le gestionnaire de politique d'accès - 157 6.11.7 SEP et le protocole de transport UDP - 160 6.12 Conclusion - 162 7 Validation formelle du protocole SEP - 165 7.1 Résumé - 165 7.2 Introduction - 165 7.3 Technique de vérification - 166 7.3.1 Propriétés de sécurité - 166 7.3.2 Difficultés de la vérification - 166 7.3.3 La modélisation - 167 7.4 Choix du modèle LEVA pour la validation du protocole SEP - 167 7.4.1 Introduction - 167 7.4.2 Le projet EVA - 167 7.4.3 Outils de démonstration automatique - 168 7.4.4 Terminologie de LEVA - 170 7.4.5 Validation du protocole SEP avec LEVA et Hermes - 172 7.4.6 Contraintes retournées par Hermes - 176 7.5 Conclusion - 177 8 Conclusion générale et perspectives - 179 8.1 Conclusion générale - 179 8.2 Perspectives et travaux futurs - 181 Bibliographie - 183 Annexe A: Liste des acronymes - 193 Annexe B: Spécification en LEVA de quelques solutions de sécurité - 195 Description du protocole SSL/TLS en LEVA - 195 Description du protocole SSH en LEVA - 196 Description du protocole IKEv1 en LEVA - 197 Annexe C: Spécifications détaillées des différents services SEP - 199 Syntaxes XDR - 199 Présentation des constantes SEP - 199 Représentation en XML/DTD de la base de donnée DBP (DataBase Policy) - 208 Annexe D: Publications associées à cette thèse - 213 Livre - 213 Revues - 213 Contribution à l'IETF - 213 Communications internationales avec comité de lecture - 213 Communications nationales avec comité de lecture - 214 |
|
|
| [3DES] W. Tuchman. Hellman Presents No Shortcut Solutions To DES. IEEE Spectrum, v. 16, n. 7, July 1979, pp 40-41. [Arkk02] J. Arkko, and R. Blom. The MAP Security Domain of Interpretation for ISAKMP. IETF Internet Draft, draft-arkko-map-doi-05.txt, February 2002 [Alle00] J. Allen, A. Christie, W. Fithen, J. Mackhugh, and J. Pickel. State of Practice of Intrusion Detection Technologies. Stoner Carnegie Mellon University, Networked Systems Survivability Program, Technical Report, CMU/SEI-99-TR-028, 2000. [Apos99] G. Apostolopoulos, V. Peris, and D. Saha. Transport Layer Security: How much does it really cost?. In the Proceedings of the IEEE INFOCOM, 1999. [Badr04] M. Badra, O. Sherkaoui, I. Hajjeh et A. Serhrouchni. Pre-Shared-Key key Exchange methods for TLS, IETF Internet Draft, draft-badra-tls-key-exchange-00.txt (work in progress), July 2004. [Badr04+] M. Badra, A. Serhrouchni, P. Urien. TLS Express. IETF Internet Draft,draft-badra-tls-express-00.txt (work in progress), June 2004. [Bert03] M. Bertrand, Redondance de sites et VPN SSL dans le cadre d'un réseau GPRS. Master's thesis, Département Informatique et réseaux, ENST Paris, Juillet 2003. [Bern02] P.A. Frausto Bernal, C. Antoine. Controlling digital multisignature with attribute certificate. Annual Computer Security Applications Conference, Las Vegas, Nevada, USA, pp, 09-13 décembre 2002 [Bla02] B. Blanchet. From secrecy to authenticity in security protocols. In 9th International Static Analysis Symposium (SAS'02), volume 2477 of Lecture Notes in Computer Science, pages 242-259, Madrid, September 2002. Springer-Verlag. [Bozg03] L. Bozga, Y. Lakhnech, and M. Périn. Pattern-based abstraction for verifying secrecy in protocols. In Tools and Agorithms for the Construction and Analysis of Sytems (TACAS'03), 2003. [Bozg02] L. Bozga, Y. Lakhnech, M. Périn. L'outil de vérification Hermes. Rapport technique EVA N.6, Mai 2002. [Blan01] B. Blanchet. An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In the 14th IEEE Computer Security Foundations Workshop (CSFW'01), Cape Breton, Novia Scotia, Canada, June 2001. [MMUSIC] Multiparty Multimedia Session Control (MMUSIC) Home Page. http://www.ietf.org/html.charters/mmusic-charter.html. [Canv03] Brice Canvel, Alain Hiltgen, Serge Vaudenay, Martin Vuagnoux. Password Interception in an SSL/TLS session. CRYPT'03, Lecture Notes in Computer Science, No.2729, pp. 583-599, Springer-Verlag, 2003. [Canet01] R. Canetti, and H. Krawczyk. Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels. Eurocrypt'2001. http://eprint.iacr.org/2001/040. [Coud04] T. Piette-Coudol. Les contraintes imposes par le droit à la signature électronique. In the 3rd Conference on Security and Network Architectures (SAR'04), France, Juin 2004. [Can02] R. Canetti, and H. Krawczyk. Security Analysis of IKE's Signature-based Key-Exchange Protocol. Cryptology ePrint Archive, Report 2002/120, 2003. [Cort03] V. Cortier. Vérification automatique des protocoles cryptographiques. Thèse de doctorat, Ecole Normale Supérieure de Cachan, mars 2003. [CST96] Sécurité des réseaux: Analyse et mise en oeuvre. Gouvernement du Canada, service CST, janvier 1996. [Cant01] A. Canteaut, F. Lévy-dit-Véhel. La cryptologie moderne. Paru dans la Revue Armemen, 73:76-83, Mars 2001. [CA-96.21] CERT Advisory CA-96.21. TCP SYN flooding and IP spoofing, November 2000. http://www.cert.org/advisories/CA-1996-21.html. [Denk98] G. Denker, J. Meseguer, and C. Talcott. Protocol specification and analysis in Maude, 1998. [Diff76] W. Diffie, M.E. Hellman. New directions in cryptography. IEEE Transactions on Information Theory, vol IT-22, n 6, pp. 644-654, November1976. [Dela03] S. Delaune. Vérification de protocoles de sécurité dans un modèle de l'intrus étendu, Mémoire de DEA. Laboratoire Spécification et Vérification. Ecole Normale Supérieure de Cachan. Paris, Septembre 2003. [Dele04] C. Deleuze. La distribution de contenu dans l'Internet (CDN), cours magistral à l'ENST Paris, Janvier 2004. http://christophe.deleuze.free.fr [DES] ANSI X3.106. American National Standard for Information Systems-Data Link Encryption. American National Standards Institute, 1983. [DSS] NIST FIPS PUB 186. Digital Signature Standard. National Institute of Standards and Technology, U.S. Department of Commerce, May 18, 1994. [Dbar02] D. Barrett, R. Silverman. SSH, le Shell sécurisé: la référence. N° ISBN: 2-84177-147-4, O'Reilly, Paris, 2002 [Deme04] J. Demerjian, A. Serhrouchni. EPMI: Une extension de l'infrastructure de gestion des privilèges. IEEE International Conference Sciences of Electronic, Technology of Information and Telecommunications SETIT'2004, ISBN 9973-41-902-2, pp.205, Sousse, Tunisie, 15-20 mars 2004. [Domi01] Dominique Bolignano, Francesca Fiorenza, Florent Jacquemard, Daniel Le Métayer. EVA test base, Rapport Technique EVA No 4, novembre 2001. [Eron04] P. Eronen, and H. Tschofenig. Pre-Shared Key Ciphersuites for Transport Layer Security (TLS). IETF Internet Draft, draft-eronen-tls-psk-00.txt,August 2004. [EVA] Projet RNTL-EVA. Réseau National des Technologies Logicielles, Explication et Vérification Automatique de protocoles cryptographiques. http://www-eva.imag.fr [Ford94] W. Ford, M. Baum. Secure Electronic Commerce: Building the Infrastructure for Digital Signatures and Encryption. ISBN 0-13-476342-4, 1994. [FIPS1402] FIPS 140. Security Requirements for Cryptographic Modules, NIST. Publié en 2001. http://csrc.nist.gov/publications/fips/fips140-2/fips1402.pdf [FRZ02] Official Site of Fortezza. http://www.armadillo.huntsville.al.us. [Ferg00] N. Ferguson, B. Schneier. A cryptographic evaluation of IPSec. Technical report, Counterpane Internet Security, 95128, USA, 2000. [Goub00] J. Goubault-Larrecq. A method for automatic cryptographic protocol verification. In International Workshop on Formal Methods for Parallel Programming, Theory and Applications. volume 1800 of LNCS, 2000. [Gutm04] P. Gutmann. Use of Shared Keys in the TLS Protocol. IETF Internet Draft, draft-ietf-tls-sharedkeys-02.txt, April 2004. [GNUTLS] The GNUTLS project. http://www.gnu.org/software/gnutls [Hajj03a] I. Hajjeh, A. Serhrouchni and F. Tastet. ISAKMP Handshake for SSL/TLS. In the proceedings the IEEE Global Communications conference (GLOBECOM'03). San Francisco (California, USA), Vol. 3, pp. 1481-1485, décembre 2003. [Hajj03b] I. Hajjeh, A. Serhrouchni and F. Tastet. New Key Management Protocol for SSL/TLS. In the proceedings of the IEEE-IFIP Network Control and Engineering for QoS, Security and Mobility (NetCon'03). Muscat (Oman), Vol. 1, N. 19, pp. 251-262, octobre 2003. [Hajj03c] I. Hajjeh, A. Serhrouchni and F. Tastet. Vers l'intégration de nouveaux services dans SSL/TLS. In the proceedings of the IEEE International Conference Sciences of Electronic, Technology of Information and Telecommunications (SETIT 2003). Sousse (Tunisie), Vol. 1, N. 106, pp. 52, mars 2003. [Hajj03d] I. Hajjeh, A. Serhrouchni et F. Tastet. A new Perspective for ebusiness with SSL/TLS. In the proceedings of the Fifth International Conference on Advances in Infrastructure for eBusiness, eEducation, eScience, on the Internet (SSGRR2003w). L'aquila (Italie), Vol. 1, N. 84, pp. 56, janvier 2003. [Hajj03e] I. Hajjeh, A. Serhrouchni et F. Tastet. Une nouvelle perspective pour SSL/TLS avec ISAKMP. 2ème Rencontre francophone sur Sécurité et Architecture Réseaux (SAR 2003). Nancy (France), pp. 55-63, juin 2003. [Hajj04a] I. Hajjeh, A. Serhrouchni. Integrating a signature module in SSL/TLS. In the proceedings of the First ACM/IEEE International Conference on E-Business and Telecommunication Networks, ICETE'04. Setoebal (Portugal), August 2004. [Hajj04b] I. Hajjeh, A. Serhrouchni. Génération d'une preuve de non répudiation dans SSL/TLS. 3ème Rencontre francophone sur Sécurité et Architecture Réseaux (SAR 2004). La Londe, Cote d'Azur (France), Juin 2004 [Hall00] N. Hallqvist, A. Keromytis. Implementing Internet Key Exchange (IKE). In Proceedings of the Annual USENIX Technical Conference, June 2000. [Han99] H. Handschuh. Cryptanalyse et Sécurité des algorithmes à Clé Secrète. Thèse de doctorat. Ecole Nationale Supérieure des Télécommunications, 1999. [Huss05] M. Hussain, I.Hajjeh, H. Afific et D. Sereta: «Tri-party IKEv2 in Home Networks». Soumis à la conférence ICC'2005, 40th annual IEEE International Conference on Communications, Seoul (Korea), Mai 2005. [Hoff02] P. Hoffman. Features of Proposed Successors to IKE. IETF Internet Draft, draft-ietf-ipsec-soi-features-01.txt, May 2002. [GFD.17] M. Thompson, D. Olson, R. Cowles, S. Mullen, M. Helm. CA-based Trust Issues for Grid Authentication and Identity Delegation, Grid Forge Document No. 17. [ibmVPN] Using IPsec to Construct Secure Virtual Private Networks. IBM Corporation. http://www-4.ibm.com/software/network/library/whitepapers/vpn [IKEv2] Harkins, D., Kaufman, C., and Perlman, R. The Internet Key Exchange (IKE) Protocol; IETF Internet Draft draft-ietf-ipsec-ikev2-14.txt, May 2004. [ISO-9594] ITU-T Recommendation X.509 | ISO/IEC 9594-8: Information Technology - Open Systems Interconnection - The Directory: Public-Key And Attribute Certificate Frameworks" ITU-T, 03/2000. [ISO9798] ISO/IEC 9798-2: Information technology - Security techniques - Entity authentication - Part 2: Mechanisms using symmetric encipherment algorithms, 1999. [ICARE] Projet RNRT I-CARE. Infrastructure de Confiance sur des Architectures de Réseaux Internet & Mobiles, 2000. http://www.cert-i-care.org. [Jaff00] Y. Jaffarain. IP Sécurité: de la théorie à la pratique. Mémoire de diplôme d'ingénieurs, ENST Paris, 2000. [Jaco03] J. Jacobson. Trust negotiation in session-layer protocols. Master of Science, Department of Computer Science, Brigham Young University, July 2003. [Jack01] K. Jackson, S. Tuecke, D. Engert. TLS Delegation Protocol. IETF Internet draft, draft-ietf-tls-delegation-01.txt, February 2001 [Rizc00] M. Rizcallah. Construire un annuaire d'entreprise avec LDAP. Editions Eyrolles, Paris, 2000 [Kivi04] T. Kivinen, T. Kivinen, B. Swander, and V. Volpe. Negotiation of NAT-Traversal in the IKE. IETF Internet Draft. February 2004. [JFK] W. Aiello, S.M. Bellovin, M. Blaze, R. Canetti, J. Ioannidis,A.D. Keromytis, and O. Reingold. Just Fast Keying (JFK). IETF Internet Draft (draft-ietf-ipsec-jfk-00.txt), May 2003 [Kraw01] H. Krawczyk. On JFK design and a comparison with SIGMA. Technion University, 2001. http://www.ee.technion.ac.il/~hugo/compare-jfk-sigma.txt [Kraw96] H. Krawczyk. SKEME: A Versatile Secure Key Exchange Mechanism for Internet. From IEEE Proceedings of the 1996 Symposium on Network and Distributed Systems Security. [Kraw03] H. Krawczyk. The 'SIGn-and-Mac' Approach to Authenticated Diffie-Hellman and its Use in the IKE protocols. In the proceedings of the 23rd Annual International Cryptology Conference (CRYPTO'03), California, USA, 2003. IEEE Computer Society Press. [Klima03] V. Klima, O. Pokorny and T. Rosa, Attacking RSA-based Sessions in SSL/TLS, http://eprint.iacr.org/2003/052/ [Kols02] O. Kolesnikov, B. Hatch. Construire un VPN sous IP avec Linux. Edition CampussPress, Paris, 2002 [Llor03] C. Llorens, L. Levier. Tableaux de bord de la sécurité réseau. Edition Eyrolles. ISBN: 2-212-11273-4, 2003 [Labo00] G. Labouret. IPSEC: Présentation technique. Hervé Schauer Consultants (HSC), Paris, France [Low98] G. Lowe. Casper: A compiler for the analysis of security protocols. In the proceedings of the 10th Computer Security Foundations Workshop (CSFW'97), Rockport, Massachusetts, USA, 1997. IEEE Computer Society Press. Also in Journal of Computer Security, Volume 6, pages 53-84, 1998. [Moda04] N. Modadugu, and E. Rescorla. The Design and Implementation of Datagram TLS. In the 11th Annual Network and Distributed System Security Symposium, San Diego, USA, February 2004. [MR00] J. Millen and H. Rue |
|
|
|
|
|
| pastel-00001168, version 1 | |
| http://pastel.archives-ouvertes.fr/pastel-00001168 | |
| oai:pastel.archives-ouvertes.fr:pastel-00001168 | |
| From: Ecole Télécom ParisTech <> | |
| Submitted on: Friday, 8 April 2005 08:00:00 | |
| Updated on: Friday, 13 May 2011 13:00:00 | |




