Analyse
Neueste Artikel
Neueste Analysen über Infrastrukturbetreiber, politische Entscheidungen, Marktbewegungen und digitale Machtverschiebungen.
Geschichte
Die Verbindung war offen. Jeder Name brauchte noch Zulassung: RFC 2097
PPP konnte einen entfernten Rechner an den Rand eines NetBIOS-Frames-Netzes bringen. RFC 2097 setzte Link-Aufbau jedoch nicht mit Erreichbarkeit gleich. NBFCP handelte aus, welche 16-Oktett-Namen auf das entfernte Netz projiziert wurden, welche scheiterten, welche Klasse der Peer…
Geschichte
Frances E. Allen gab Optimierungen einen begrenzten Beweis
Ein Compiler kann zeigen, dass eine Definition eine Anweisung erreichen könnte oder ein Wert noch lebendig ist. Frances E. Allen machte solche Aussagen systematisch – und ließ sichtbar, dass sie kein Zertifikat für jede reale Programmausführung sind.
Geschichte
Der Zähler bestand das Fenster eines Empfängers, nannte aber keinen Sender: RFC 2085
RFC 2085 ergänzte einen HMAC-MD5 Authentication Header um einen optionalen 64-Bit-Replayzähler. Ob das Feld existierte, entschied die Security Association. Ein Empfänger durfte ungesehene Werte innerhalb seines eigenen Umordnungsfensters annehmen. Das war lokaler Frischenachweis…
Geschichte
Jean E. Sammet machte Algebra ausführbar – nicht automatisch bewiesen
FORMAC konnte Ausdrücke ableiten, einsetzen und vereinfachen, bevor es eine FORTRAN-taugliche Fassung an die gewöhnliche Übersetzungskette übergab. Genau an dieser Schnittstelle zeigt sich, welche Aussage jede Stufe tragen konnte und welche nicht.
Geschichte
Der vierte Buchstabe entschied, was der Editor behalten durfte: RFC 2083
Ein PNG kann nach einer vollständigen Bildänderung plausibel aussehen und dennoch unbekannte Metadaten aus dem alten Zustand mitführen. RFC 2083 erklärte solche Daten nicht für wahr. Die Spezifikation kodierte eine engere Entscheidung in der Groß- und Kleinschreibung von vier…
Berichte
RIPE NCC behielt die Prüfungen fehlerhafter Delegierungen bei und stoppte die E-Mails
2009 beendete RIPE NCC nicht die technische Beobachtung. Die regelmäßigen Prüfungen fehlerhafter DNS-Delegierungen liefen weiter, während die massenhaft versandten Warn-E-Mails eingestellt wurden. Der historische Fall zeigt, warum Erkennung, Zustellung, betriebliche…
Geschichte
Das Verzeichnis speicherte zwei Links, aber nicht ihre Bedeutung: RFC 2079
Ein Eintrag konnte zwei amtlich wirkende Verweise zeigen: „offizielle Akte“ und „aktueller Dienst“. RFC 2079 machte beide speicherbar und trennte URI und lesbare Beschriftung eindeutig. Es entschied nicht, ob zwei Ressourcen, zwei Orte derselben Ressource, eine veraltete Seite…
Geschichte
LAP6 machte Code editierbar, aber nicht automatisch korrekt
Mary Allen Wilkes schuf auf einem LINC mit 2.048 Wörtern einen sichtbaren, reaktionsschnellen Weg vom Manuskript über die Banddatei bis zum Binärprogramm. Der Wert von LAP6 liegt ebenso in dieser Integration wie in den Grenzen zwischen den einzelnen Ergebnissen.
Geschichte
Der Header war da, seine Zuständigkeit nicht: RFC 2076
Ein Parser konnte die Zeile `Apparently-To` zweifelsfrei finden. Damit war weder ein allgemeiner Mailstandard noch eine sichere Offenlegung oder verbindliche Empfängerhandlung bewiesen. RFC 2076 hielt deshalb Namen, Protokoll, Status und Einschränkungen zusammen.
Geschichte
Ein Masterbild, viele Instanzen: Sketchpads Grenze geteilter Definitionen
Ivan Sutherlands Sketchpad behandelte Wiederverwendung als überprüfbare Abhängigkeit. Viele Darstellungen konnten auf dasselbe Masterbild verweisen und trotzdem eigene Lage, Größe und Drehung besitzen. Was gemeinsam aktualisiert wurde, war eine Definition — kein Bündel…
Geschichte
Lynn Conway: Lambda-Regeln machten Layouts portabel, nicht unfehlbar
Mikrometer durch eine Einheit namens λ zu ersetzen, war mehr als eine neue Schreibweise. Damit wurde die Grenze zwischen Entwurf und Fertigung neu gezogen: Geometrische Verhältnisse konnten den Prozess wechseln, doch die Gewissheit über die Funktion wechselte nicht automatisch…
Geschichte
Dorothy Denning und was ein Sicherheitsgitter wirklich erlaubt
Ein formaler Nachweis ist nur so weitreichend wie seine Aussage. Dorothy E. Dennings Gittermodell kann belegen, dass eine dargestellte Informationsabhängigkeit eine festgelegte Flusspolitik einhält. Es belegt nicht nebenbei, dass Klassifizierung, Implementierung, Freigabe und…
Geschichte
Nancy Lynch und die präzise Grenze von FLP
FLP besagt nicht, dass verteilte Systeme niemals Konsens erreichen. Der Satz nimmt einer bestimmten Welt lediglich die universelle Fortschrittsgarantie: vollständige Asynchronität, deterministische Prozesse, zuverlässige Nachrichten ohne Zeitgrenze und die Möglichkeit eines…
Berichte
LACNICs WHOIS zeigt Ursprungs-ASNs, aber nicht ihre Autorisierungsgrenze
Die Analyse-Zusammenfassung zu LACNICs WHOIS zeigt Ursprungs-ASNs, aber nicht ihre Autorisierungsgrenze erläutert die Entwicklung, die öffentlich zugänglichen Belege, die beteiligten Organisationen, den regionalen Kontext, die Marktexposition und die möglichen…
IETF
RFC 9806 korrigiert die Kennzeichnung, nicht den Einsatz
Für SIPREC-Aufzeichnungsmetadaten gibt es nun eine eindeutige Bezeichnung: application/rs-metadata+xml. Zwei RFCs von 2016, ein Erratum, ein späteres Standards-Track-Update und der IANA-Eintrag führen zu diesem Ergebnis. Ob die Korrektur tatsächlich bei Clients, Servern und…
Geschichte
Leslie Lamport und die Ordnung, die ein Zeitstempel nicht beweist
Ein Lamport-Zeitstempel kann einen bekannten Kausalpfad über Prozesse und Nachrichten hinweg bewahren. Er macht nicht jede kleinere Zahl zur Ursache, unvergleichbare Ereignisse zu physischer Gleichzeitigkeit oder eine bequeme Totalordnung zur einzig wahren Geschichte.
Berichte
ARINs gültiges RPSL lieferte dennoch eine unvollständige Spiegelantwort
Die rekursive Abfrage endete ordnungsgemäß und gab sieben ASNs zurück. Das im öffentlichen ARIN-Vorgang beschriebene Quellobjekt enthielt weit mehr Mitglieder. Dazwischen musste keine ungültige Routing-Policy liegen: Der Verlust konnte beim Übergang von einer logischen Menge zu…
IETF
RFC 10050: Ein Profil benennt die Teilmenge, nicht die Annahmeentscheidung
Ein JSContact-Objekt kann zu zwei Profilen passen und trotzdem in einem bestimmten Protokoll unzulässig sein. RFC 10050 macht aus diesem scheinbaren Widerspruch eine klare Arbeitsteilung: Das Register hält die Profilidentität fest, der Validator prüft die Teilmenge, das…
Geschichte
Jim Gray und die Stimme, die keinen Two-Phase Commit entscheiden konnte
Beim Two-Phase Commit beweist ein Teilnehmer mit dauerhaftem Prepare-Eintrag und Ja-Stimme, dass er beide endgültigen Ausgänge ausführen kann. Er hat noch nicht committed, und ein verschwundener Koordinator gibt ihm kein Recht zu raten.
IETF
Das Backup war gültig, der Signaturzustand nicht: RFC 10033
Bei zustandsbehafteten Hash-Signaturen ist ein Backup mehr als eine geschützte Kopie geheimen Schlüsselmaterials. Es enthält auch die veränderliche Behauptung, welche Einmalsignaturschlüssel noch unberührt sind. RFC 10033 zeigt, weshalb ein echtes, aber altes Backup bereits…