URI http://ori.unit-c.fr/uid/unit-ori-wf-1-3061 Computer security (série : Colloquium Jacques Morgenstern) eng Butler Lampson, one of the pioneers in computer security, once wrote: "What people want from computer security is to be as secure with computers as they are in the real world". Increasingly, however, the "real world" is full of interconnected computers in critical roles. Accordingly, computer security becomes more essential but also harder to define and even harder to achieve. This lecture is an introduction to some of the themes and techniques of computer security. It emphasizes security protocols. These play a well-established role in authentication in distributed sytems and related tasks; they have many other actual or imagined applications, for instance discouraging junk email ("spam"). Over time, useful methods have been developed for the design and analysis of security protocols. Advances in other parts of computer security, in particular those that touch system administrators and users, remain more sporadic and challenging ******************************** fuscia conférence recherche STIC protocole de sécurité confidentialité intégrité disponibilité authentification communication spam clé cryptage attaque pi calcul analyse formelle mémoire puissance de calcul cache contrôle d'accès Binder logique base de données intégration TSIMMIS MSL LOMv1.0 atomic LOMv1.0 2 LOMv1.0 image en mouvement LOMv1.0 final LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Abadi;Martín;;; FN:Martín Abadi EMAIL;TYPE=INTERNET: ORG:University of California END:VCARD 2003-03-18 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:Institut National de Recherche en Informatique et en Automatique;;;; FN:Institut National de Recherche en Informatique et en Automatique EMAIL;TYPE=INTERNET: ORG: END:VCARD BEGIN:VCARD VERSION:3.0 N:Université de Nice;;;; FN:Université de Nice EMAIL;TYPE=INTERNET: ORG: END:VCARD BEGIN:VCARD VERSION:3.0 N:Ecole Polytechnique Universitaire;;;; FN:Ecole Polytechnique Universitaire EMAIL;TYPE=INTERNET: ORG: END:VCARD BEGIN:VCARD VERSION:3.0 N:Laboratoire I3S;;;; FN:Laboratoire I3S EMAIL;TYPE=INTERNET: ORG: END:VCARD 2009-06-02 URI http://ori.unit-c.fr/uid/unit-ori-wf-1-3062 LOMv1.0 creator BEGIN:VCARD VERSION:3.0 N:Gilles-Gallet;Isabelle;Isabelle;;; FN:Isabelle Gilles-Gallet;Isabelle EMAIL;TYPE=INTERNET: ORG:UNIT END:VCARD 2009-06-08 LOMv1.0 validator BEGIN:VCARD VERSION:3.0 N:Gilles-Gallet;Isabelle;Isabelle;;; FN:Isabelle Gilles-Gallet;Isabelle EMAIL;TYPE=INTERNET: ORG:UNIT END:VCARD 2009-06-08 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 eng video/mpeg http://iww.inria.fr/colloquium/fr/martin-abadi-computer-security/ PT58M32S LOMv1.0 lecture LOMv1.0 learner LOMv1.0 teacher LOMv1.0 higher education LOMFRv1.0 doctorat 24 et + LOMv1.0 difficult PT2H Cycle de conférences mensuelles, les Colloquium Jacques Morgenstern peuvent être choisis par les étudiants de l'Ecole Doctorale STIC dans le cadre des heures de formation complémentaire. Les orateurs interviennent en français ou en anglais. LOMFRv1.0 s'informer LOMFRv1.0 apprendre LOMv1.0 no LOMv1.0 yes Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification) LOMv1.0 ispartof URI http://ori.unit-c.fr/uid/unit-ori-wf-1-3045 Colloquium Jacques Morgenstern LOMv1.0 discipline Classification UNIT 1309 Sécurité des données: chiffrement, virus, cryptographie, ? 1303 Mode de traitement des données: temps réel, en parallèle, distribués, ? CDD 22e éd. 005.8 004.3