Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Canaux robustes: Gestion des réseaux non fiables

Description

Cette séance de cours couvre le concept de canaux robustes dans le contexte de protocoles réseau sécurisés tels que QUIC et DTLS 1.3, en se concentrant sur la gestion des réseaux peu fiables. Il traite des différences entre TCP et UDP, de l'utilisation de l'AEAD, de la modélisation des canaux, des fonctions de support, des expériences d'exactitude des canaux, des classes de support, de l'intégrité et de la robustesse. La séance de cours explore également l'application de canaux robustes dans QUIC, en soulignant l'importance de maintenir l'exactitude et l'intégrité face aux incertitudes du réseau.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Enseignant·e

Serge Vaudenay

Serge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.

Source officielle

Concepts associés (28)

QUIC

QUIC est un ce protocole via de la couche transport initié par Jim Roskind chez Google. Il est repris par l'IETF en 2015 dans le but de le normaliser par les RFC 8999, 9000, 9001 et 9002 et le rendre ainsi utilisable par n'importe quel protocole de la couche application. Les acteurs impliqués veulent que QUIC soit plus que « HTTP sur UDP », là où Google désire prioriser le web. Initialement QUIC signifie « Quick UDP Internet Connections », mais l'IETF ne le considère pas comme un acronyme et il n'y en a aucune trace dans les RFC.

Transport Layer Security

La Transport Layer Security (TLS) ou « Sécurité de la couche de transport », et son prédécesseur la Secure Sockets Layer (SSL) ou « Couche de sockets sécurisée », sont des protocoles de sécurisation des échanges par réseau informatique, notamment par Internet. Le protocole SSL a été développé à l'origine par Netscape Communications Corporation pour son navigateur Web. L'organisme de normalisation Internet Engineering Task Force (IETF) en a poursuivi le développement en le rebaptisant Transport Layer Security (TLS).

Fonction anonyme

En programmation informatique, une fonction anonyme, aussi appelée lambda expression ou fonction lambda est une fonction n'ayant pas de nom. Les fonctions anonymes existent dans certains langages de programmation comme Python, JavaScript, OCaml ou C++. Certains langages, comme le C et Pascal (tout au moins les versions standards de ces langages), ne permettent pas d'écrire des fonctions anonymes. Parce que ces fonctions n'ont pas de nom, à l'endroit où l'on voudrait mettre leur nom, on trouve directement les instructions définissant la fonction introduites par une syntaxe particulière.

First-class function

In computer science, a programming language is said to have first-class functions if it treats functions as first-class citizens. This means the language supports passing functions as arguments to other functions, returning them as the values from other functions, and assigning them to variables or storing them in data structures. Some programming language theorists require support for anonymous functions (function literals) as well.

Ossification des protocoles

L’ossification des protocoles est la réduction progressive de la flexibilité de conception des protocoles réseau. La présence de est la principale cause de l’ossification car elles peuvent bloquer du trafic qui, même s’il est valide, n’est pas correctement reconnu comme tel. L’utilisation d’API peu flexibles entre la couche application et la couche transport favorise également l’ossification, puisqu’il est alors nécessaire pour utiliser de nouveaux protocoles de transport, d’apporter des modifications au code des applications utilisant ces API.

Afficher plus

Séances de cours associées (10)

Hiérarchies de classe: correspondance des motifs

Couvre les hiérarchies de classe, l'appariement des motifs, les valeurs de fonction et les appels de fonction dans Scala.

Communications sécurisées : TLS et protocoles de sécurité

Explore TLS, les protocoles de sécurité, la synchronisation, la terminaison équitable et les applications de communication sécurisées.

TLS: Comprendre les certificats et la mise en œuvre de Python

Explore les certificats TLS dans les navigateurs Web et Python, couvrant la vérification, les certificats racine et intermédiaire, et le code Python pour l'analyse.

TLS: Sécurité de la couche de transport

Explore l'évolution et les vulnérabilités de la TLS, en mettant l'accent sur les améliorations de la TLS 1.3 et sur le rôle des autorités de certification.

Les protocoles de sécurité en pratique

Explore la mise en œuvre pratique de protocoles de sécurité utilisant le passeport biométrique comme étude de cas, couvrant les vulnérabilités, l'évolution TLS et le cryptage ChaChaPoly.

Afficher plus

Concepts associés (28)

QUIC

Transport Layer Security

Fonction anonyme

First-class function

Ossification des protocoles

Afficher plus