Computer security (série : Colloquium Jacques Morgenstern)

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 ********************************

Disciplines : ,
Mots-clés : 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
Type de document : image en mouvement
Type de ressource : lecture
Niveau : higher education,doctorat
Publics visés : learner,teacher
Activité induite : s'informer,apprendre
Proposition d'utilisation : 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.
Auteurs ou éditeurs : Martín Abadi,Institut National de Recherche en Informatique et en Automatique,Université de Nice,Ecole Polytechnique Universitaire,Laboratoire I3S