Bibliographie
Vérifier automatiquement les protocoles de sécurité

RéférencesMANICORE (J.-M.)Bénéfices environnementaux envisageables liés à l'introduction du télétravail. Ministère de l'Industrie (2001). http://www.manicore.com/documentation/teletravail/OSI_synthese.htmlRIVEST (R.L.)SHAMIR (A.)ADLEMAN (L.M.)A method for obtaining digital signatures and public key cryptosystems. Communications of the ACM, 21, 120-126 (1978).NEEDHAM (R.)SCHROEDER (M.)Using encryption for authentication in large networks of computers. Communication of the ACM, 21 (12), 993-999 (1978).LOWE (G.)Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In (T.) Margaria et (B.) Steffen (éd.), Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), vol. 1055 of LNCS, 147-166. Springer-Verlag (1996).The AVISPA teamHLPSL...