Veille
Derniers articles
Dernières analyses sur les opérateurs d'infrastructure, les décisions politiques, les mouvements de marché et les évolutions du pouvoir numérique.
Histoire d'Internet
La liaison était ouverte. Chaque nom devait encore être admis : RFC 2097
PPP pouvait amener une machine distante jusqu’au bord d’un réseau NetBIOS Frames, sans pour autant lui donner une portée effective. RFC 2097 obligeait NBFCP à expliciter les engagements locaux: quels noms de seize octets seraient projetés, lesquels seraient refusés, quelle classe…
Histoire d'Internet
Frances E. Allen a donné aux optimisations une preuve à leur mesure
Un compilateur peut établir qu’une définition atteint peut-être une instruction ou qu’une valeur reste vivante sur un chemin. Les méthodes de Frances E. Allen ont rendu ce raisonnement systématique, sans jamais en faire une garantie universelle sur l’exécution du programme.
Histoire d'Internet
Le compteur a franchi la fenêtre d’un récepteur sans nommer l’émetteur : RFC 2085
Le RFC 2085 plaçait un compteur anti-rejeu de 64 bits dans une transformation HMAC-MD5 d’Authentication Header, uniquement si l’association de sécurité le prévoyait. Un récepteur pouvait admettre un numéro inédit dans sa propre fenêtre de désordre. Cette décision disait « nouveau…
Histoire d'Internet
Jean E. Sammet a rendu l’algèbre exécutable, pas démontrée
FORMAC pouvait transformer une formule, puis produire une forme destinée à la chaîne FORTRAN ordinaire. Entre l’expression symbolique, le programme compilé et le résultat scientifique, il subsistait pourtant plusieurs obligations de preuve.
Histoire d'Internet
La quatrième lettre décidait de ce que l’éditeur pouvait garder : RFC 2083
Une image PNG peut sembler parfaitement normale après une retouche alors qu’un bloc de métadonnées inconnu raconte encore l’état précédent. Le RFC 2083 n’a pas prétendu vérifier cette histoire. Il a fait quelque chose de plus étroit: inscrire, dans la casse des quatre octets du…
Récits
RIPE NCC a maintenu les contrôles de délégation défaillante et arrêté les courriels
L’histoire ne raconte pas l’abandon d’une mesure technique. En 2009, RIPE NCC a continué ses contrôles périodiques des délégations DNS défaillantes tout en mettant fin aux alertes massives par courriel. Cette séparation oblige à mesurer, l’un après l’autre, le défaut détecté, la…
Histoire d'Internet
L’annuaire gardait deux liens sans savoir ce qu’ils signifiaient : RFC 2079
Deux adresses pouvaient sembler également officielles sur la fiche d’une organisation. Le RFC 2079 permettait de les stocker, de séparer l’URI de son libellé et de les rattacher au même objet. Il ne disait pas si elles désignaient deux ressources, deux emplacements d’une seule…
Histoire d'Internet
LAP6 rendait le code modifiable, pas forcément juste
Mary Allen Wilkes a donné au LINC de 2 048 mots un chemin visible et réactif entre manuscrit, fichier sur bande et programme binaire. La force de LAP6 tient autant à cette intégration qu'aux frontières qu'il maintenait entre ses étapes.
Histoire d'Internet
Le champ était présent, pas son autorité : la carte du RFC 2076
Une ligne `Apparently-To` pouvait être parfaitement lisible par un parseur sans devenir pour autant une instruction reconnue du courrier Internet. En 1997, le RFC 2076 a conservé cette différence: son catalogue associait les noms rencontrés à leur protocole, leur statut et leurs…
Histoire d'Internet
Une image maîtresse, plusieurs instances : la frontière de Sketchpad
Dans Sketchpad, la répétition n’était pas une pile de copies. Ivan Sutherland avait construit un lien durable entre une image maîtresse et ses occurrences transformées — un lien qui permettait de propager une modification sans confondre dépendance logicielle, géométrie locale et…
Histoire d'Internet
Lynn Conway : les règles lambda ont rendu le dessin transportable, pas infaillible
Remplacer les micromètres par une unité appelée λ n’était pas une simple commodité de notation. Ce choix redéfinissait la frontière entre le concepteur et l’usine: la géométrie pouvait voyager, à condition qu’un procédé compatible lui rende des dimensions physiques. La conformité…
Histoire d'Internet
Dorothy Denning : ce que le treillis autorise vraiment
Un certificat formel n’est pas une promesse générale de sécurité. Le modèle en treillis de Dorothy E. Denning permet de vérifier une proposition plus précise: une dépendance représentée par le programme respecte-t-elle l’ordre des flux que l’organisation a choisi ? Toute sa…
Histoire d'Internet
Nancy Lynch et la limite exacte de l’impossibilité FLP
Une panne autorisée, des messages fiables mais sans délai maximal, aucun chronomètre commun: dans ce cadre, un protocole déterministe ne peut promettre à la fois la sûreté et une décision dans toute exécution admissible. Cette frontière est bien plus précise que le slogan « le…
Récits
Le WHOIS de LACNIC affiche les ASN d’origine, pas leur périmètre d’autorisation
Le résumé de veille Le WHOIS de LACNIC affiche les ASN d’origine, pas leur périmètre d’autorisation explique le développement, les preuves publiques disponibles, les organisations concernées, le contexte régional, l’exposition au marché et les conséquences possibles pour…
IETF
RFC 9806 corrige l’étiquette, pas le déploiement
Le registre des normes désigne désormais sans ambiguïté les métadonnées d’enregistrement SIPREC par application/rs-metadata+xml. Cette correction relie deux RFC de 2016, un erratum, une mise à jour Standards Track et une inscription IANA. Elle ne dit toujours pas quels clients…
Histoire d'Internet
Leslie Lamport et l’ordre qu’un horodatage ne peut pas prouver
Un horodatage de Lamport peut respecter un chemin causal connu entre processus et messages. Il ne transforme ni tout nombre inférieur en cause, ni deux événements incomparables en simultanéité physique, ni un ordre total commode en histoire unique du système.
Récits
Le RPSL valide d’ARIN a tout de même produit une réponse miroir partielle
Le résumé de veille Le RPSL valide d’ARIN a tout de même produit une réponse miroir partielle explique le développement, les preuves publiques disponibles, les organisations concernées, le contexte régional, l’exposition au marché et les conséquences possibles pour…
IETF
RFC 10050 donne une identité au profil, pas un verdict au protocole
Un nom et un numéro de version permettent de retrouver exactement les contraintes appliquées à une carte JSContact. Ils ne disent pas, à eux seuls, si cette carte est recevable dans un échange. RFC 10050 organise cette séparation entre identité du profil, conformité calculée et…
Histoire d'Internet
Jim Gray et le vote qui ne pouvait pas décider d’un commit en deux phases
Dans le commit en deux phases, le entité qui inscrit durablement son état préparé et vote oui prouve qu’il saura appliquer l’une ou l’autre issue. Il n’a pas validé la transaction et ne peut pas inventer le verdict si le coordinateur disparaît.
IETF
La sauvegarde était valide, pas l’état de signature : RFC 10033
Restaurer une clé de signature avec état ne revient pas à remettre un secret intact dans une machine neuve. Il faut aussi rétablir, sans retour en arrière, la mémoire des signatures déjà émises. RFC 10033 montre pourquoi une sauvegarde parfaitement authentique peut rouvrir une…