Universitaires
Universitaires
La veille Universitaires couvre l’actualité publique qui touche l’infrastructure Internet, les décisions de gouvernance, les marchés de la connectivité, les flux de capitaux numériques et le risque opérationnel.
Articles récents
À la une : Universitaires
74 articles
Universitaires
Mark Nottingham et la frontière entre groupes révélée par le nom HTTP/3
En 2018, remplacer « HTTP-over-QUIC » par « HTTP/3 » ne relevait pas seulement du vocabulaire. Mark Nottingham liait un nom plus lisible à une décision de gouvernance: le groupe QUIC terminerait la mise en correspondance, puis le groupe HTTP en assurerait la maintenance.
Universitaires
Avec AI4AN, Toerless Eckert déplace la question de confiance jusque dans le routeur
AI4AN propose de confier à un modèle la préparation et l’essai d’un logiciel d’automatisation réseau, puis d’exécuter ce logiciel sur les équipements. Dans le projet de document IETF cosigné par Toerless Eckert et Alexander Clemm, l’enjeu devient alors très concret: quelles…
Universitaires
Kurtis Heimerl : le service local ne signifie pas le contrôle de l’opérateur
Un réseau cellulaire communautaire promet davantage qu’un signal moins cher: il permet à un territoire d’adapter ses communications là où un opérateur national voit peu de rentabilité. Les travaux de Kurtis Heimerl montrent à la fois cette possibilité et sa limite. Les équipes…
Universitaires
David J. Farber et Interesting People : rendre le débat visible sans parler au nom de tous
Dans une note de 1993, le modérateur invite aux contributions tout en gardant le dernier mot éditorial. L’archive rend certains arguments consultables; elle ne mesure pas l’opinion des internautes.
Universitaires
Lorrie Cranor veut relier le code aux étiquettes de confidentialité
Le travail mené autour de la rubrique Data safety de Google Play pose une question concrète: un développeur peut-il rattacher chaque déclaration affichée par le store au code et au comportement des SDK ? Les recherches de Lorrie Cranor sur la confidentialité utilisable placent ce…
Universitaires
Elinor Ostrom et la frontière entre principe d’analyse et prescription
La question semblait demander à Elinor Ostrom de transformer ses travaux en programme d’action: ses principes disaient-ils comment les ressources communes devaient être gouvernées ? Dans l’entretien Nobel, elle récuse ce cadrage. Elle avait cherché des régularités dans des…
Universitaires
Robin Milner, ou le théorème que la recherche ne pouvait pas fabriquer
Une tactique peut parcourir des milliers de pistes et finir par afficher « succès ». Dans l’architecture LCF, ce signal ne vaut pas admission. Seule compte une valeur de type théorème produite par les axiomes et règles d’inférence protégés. L’idée décisive associée à Robin Milner…
Universitaires
Nancy Leveson : quand aucun composant ne tombe en panne
Un système peut respecter les spécifications de chacune de ses pièces et produire néanmoins une situation dangereuse. Nancy Leveson a déplacé l'enquête vers les décisions, les informations disponibles et les contraintes que l'ensemble devait maintenir.
Universitaires
Laurent Vanbever et le réseau qui doit être testé pendant qu'il change
Les travaux de Laurent Vanbever traitent la configuration réseau comme un logiciel exécutable dont les défaillances peuvent apparaître avant, pendant ou après le déploiement. De la migration sûre du routage et de la synthèse de configuration à la détection BGP à l'exécution et…
Universitaires
Katerina Argyraki et la recherche de preuves dans la transmission des paquets
Les recherches de Katerina Argyraki suivent un problème qui se complexifie à mesure que les réseaux deviennent plus programmables: un système de traitement des paquets peut être rapide et flexible, tandis que les opérateurs et les utilisateurs disposent de peu de preuves de son…
Universitaires
Kathleen Nichols et le délai d’attente qu’un lien rapide ne peut masquer
Le travail le plus connu de Kathleen Nichols a changé la variable utilisée pour juger une file d’attente réseau: le temps, plutôt que le nombre de paquets. CoDel a rendu mesurable l’attente persistante, tout en laissant le déploiement dépendre de l’emplacement du goulot…
Universitaires
Sally Floyd a rendu le contrôle de congestion responsable devant les preuves
Sally Floyd a relié les files d'attente des routeurs, la rétroaction des transports, les modèles de trafic et les normes en une discipline de responsabilité partagée sur les réseaux. Son héritage réside moins dans un algorithme célébré que dans une méthode pour tester ensemble le…
Universitaires
Chaque mesure réseau exige un modèle de défaillance
Les travaux de Nick Feamster ont rendu mesurables configuration, haut débit et censure. Une mesure devient preuve si elle dit comment elle peut se tromper.
Universitaires
Les outils réseau exigent des limites reproductibles
Un vérificateur révèle des défauts cachés. Il reste fiable si d’autres reproduisent sa portée et ses manques.
Universitaires
Observer un réseau n’est pas expliquer la cause
Les outils de Nick Feamster ont révélé des défauts du routage au haut débit. La mesure exige encore une limite causale.
Universitaires
Nick Feamster apprend aux réseaux à s'expliquer et expose les limites de la mesure
En 2005, un outil de vérification qu'il a contribué à développer a signalé plus de 1 000 défaillances jusque-là inconnues dans les configurations de 17 systèmes autonomes. Depuis, cet effort pour rendre les infrastructures cachées explicables s'est étendu au spam, au haut débit…
Universitaires
Nick Feamster a créé des outils pour expliquer les réseaux — et en a exposé les limites
En 2005, un vérificateur dont il est co-auteur a signalé plus de 1 000 défaillances jusqu’alors non détectées dans les configurations de 17 systèmes autonomes. Le même effort pour rendre lisible l’infrastructure cachée s’est ensuite étendu au spam, au haut débit, à la censure…
Universitaires
Nick Feamster a créé des outils pour expliquer les réseaux, et en a montré les limites
En 2005, l'outil de vérification qu'il a co-écrit a signalé plus de 1 000 défauts jusqu'alors non détectés dans les configurations de 17 systèmes autonomes. La même démarche visant à rendre lisible l'infrastructure invisible s'est ensuite étendue au spam, au haut débit, à la…
Universitaires
Nick Feamster a conçu des outils pour expliquer les réseaux — et en a révélé les limites
En 2005, un vérificateur qu’il a coécrit a signalé plus de 1 000 défauts jusque-là non détectés dans les configurations de 17 systèmes autonomes. La même volonté de rendre l’infrastructure cachée lisible s’est ensuite appliquée au spam, au haut débit, à la censure, aux maisons…
Universitaires
Nick Feamster a créé des outils pour expliquer les réseaux et a révélé leurs limites
En 2005, un vérificateur qu'il a coécrit a détecté plus de 1 000 pannes non identifiées auparavant dans les configurations de 17 systèmes autonomes. Le même effort pour rendre lisible l'infrastructure cachée s'est ensuite étendu au spam, au haut débit, à la censure, aux foyers…