AXON: A ROS 2 RMW with Shared-Memory/QUIC Transport and QKD/ML-KEM Key Establishment
Dit artikel introduceert AXON, een op Rust gebaseerde ROS 2-middleware-implementatie die de prestaties optimaliseert via shared-memory en QUIC-transporten, terwijl de beveiliging wordt verbeterd via twee onderscheidende fail-closed TLS 1.3-configuraties: één die gebruikmaakt van hybride post-kwantum sleuteluitwisseling en een andere die gebruikmaakt van pre-shared keys afgeleid van Quantum Key Distribution (QKD).
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
In de wereld van de robotica denken machines niet in isolatie; ze denken samen. Een vloot autonome voertuigen, een fabrieksarm of een dronezwerm vertrouwt op een constante, hoogwaardige conversatie tussen verschillende softwareonderdelen. Om dit mogelijk te maken, gebruiken ingenieurs een standaardtaal die een middleware wordt genoemd, die fungeert als een universele vertaler, waardoor code geschreven door verschillende teams berichten naar elkaar kan sturen. Jarenlang is de standaard voor deze vertaling gebouwd op een systeem dat ontworpen is voor industriële datadistributie, waarbij elke verbinding tussen computers werd behandeld alsof het hetzelfde soort netwerkprobleem was, of de computers nu naast elkaar in dezelfde kamer staan of mijlenver uit elkaar. Deze eenheidsoplossing wordt echter een bottleneck. Naarmate robots in complexere omgevingen bewegen, moet de manier waarop ze communiceren veranderen. Ze hebben een systeem nodig dat het verschil weet tussen een bericht dat over een enkele computerchip reist en een bericht dat over een draadloze verbinding reist, en ze hebben dat systeem nodig dat beveiligd is tegen dreigingen die niet alleen vandaag bestaan, maar ook in de toekomst, inclusief het potentieel van quantumcomputers die de huidige encryptie kunnen breken.
Onderzoekers aan de Universidad de León hebben een nieuw systeem genaamd AXON gebouwd om deze problemen op te lossen. In plaats van alle robotcommunicatie door één enkele, rigide pijp te dwingen, splitst AXON de taak op basis van de bestemming van de gegevens. Als twee onderdelen van een robotsysteem op dezelfde computer draaien, gebruikt AXON een methode genaamd 'shared memory', waardoor ze informatie rechtstreeks via het eigen geheugen van de computer kunnen uitwisselen zonder de trage, verspillende stap van het versturen van gegevens via de netwerkstack. Het is also kind van twee mensen in dezelfde kamer die direct tegen elkaar fluisteren in plaats van door een megafoon te schreeuwen. Wanneer de gegevens tussen verschillende computers moeten reizen, bijvoorbeeld van een drone naar een controlecentrum, schakelt AXON over naar een modern, hoogwaardig transportprotocol genaamd QUIC. Dit protocol is ontworpen om de rommelige, onvoorspelbare aard van draadloze netwerken beter aan te kunnen dan oudere methoden, waardoor berichten snel en in de juiste volgorde aankomen, zelfs als de verbinding wankel is.
De meest significante innovatie in AXON is echter hoe het met beveiliging omgaat. De onderzoekers realiseerden zich dat robotvloten gevoelige gegevens dragen, zoals kaarten en camerabeelden, en dat deze systemen vaak jarenlang in gebruik zijn. Dit creëert een risico waarbij een aanvaller vandaag versleutelde gegevens kan stelen en kan wachten tot toekomstige technologie deze kan ontsleutelen. Om dit te voorkomen, biedt AXON twee verschillende manieren om de verbinding te vergrendelen, die beide zo zijn ontworpen dat ze "fail-closed" zijn, wat betekent dat het systeem simpelweg weigert te verbinden als aan de beveiligingseisen niet kan worden voldaan, in plaats van terug te vallen op een zwakkere, onveilige methode. De eerste optie maakt gebruik van een hybride sleuteluitwisseling die een standaard wiskundige slot combineert met een nieuw, quantumbestendig slot. Dit zorgt ervoor dat zelfs als een toekomstige quantumcomputer het oude slot breekt, het nieuwe slot nog steeds standhoudt. De tweede optie is nog robuuster: deze maakt gebruik van sleutels gegenereerd door een quantum key distribution-systeem, dat vertrouwt op de wetten van de fysica in plaats van wiskunde om onbreekbare codes te creëren. In deze modus importeert het systeem een geheime sleutel die door een beveiligd hardwareapparaat wordt geleverd en gebruikt het deze om de verbinding te vergrendelen, zonder dat er wiskundige onderhandeling mogelijk is die onderschept zou kunnen worden.
Om dit werkend te krijgen, moest het team een nieuwe architectuur vanaf de grond opbouwen. Het systeem is verdeeld in twee lagen: een snelle, veilige kern geschreven in een moderne programmeertaal genaamd Rust, en een dunne adapter die de standaardtaal van robotsoftware spreekt. Een klein achtergrondprogramma, of daemon, draait naast de robot om andere machines te ontdekken en de kaart te beheren van wie met wie praat. Deze scheiding zorgt ervoor dat de gegevens soepel stromen, terwijl het controlesysteem de complexe taak afhandelt van het opzetten van veilige verbindingen. De onderzoekers moesten ook de onderliggende beveiligingssoftware die ze gebruikten aanpassen, omdat de standaardversie hen niet toestond de specifieke soort quantum-veilige sleutels te gebruiken die ze nodig hadden. Ze creëerden een gespecialiseerde versie van de beveiligingsbibliotheek die het systeem toestaat om een vooraf gedeelde geheime sleutel direct te importeren, waardoor het gebruikelijke handshaking-proces wordt omzeild dat kwetsbaar zou kunnen zijn voor toekomstige aanvallen.
De resultaten laten een systeem zien dat is afgestemd op hoe robots daadwerkelijk opereren. Door shared memory te gebruiken voor lokale taken, vermijdt het systeem onnodige vertragingen. Door QUIC te gebruiken voor externe taken, gaat het op een gracieuze manier om met netwerkfouten. En door strikte beveiligingsregels af te dwingen, zorgt het ervoor dat de verbinding ofwel perfect veilig is, of helemaal niet bestaat. De onderzoekers hebben het systeem getest in simulaties en bevestigd dat het de stroom van gegevens tussen verschillende onderdelen van een robotsysteem kan afhandelen, variërend van eenvoudige statusupdates tot complexe sensorgegevens. Ze hebben ook gedemonstreerd dat het systeem succesvol kan schakelen tussen de twee beveiligingsmodi, waarbij elke poging om te verbinden met een peer die niet aan de strikte beveiligingscriteria voldoet, wordt afgewezen. Hoewel het systeem nog niet is getest tegen een echt, fysiek quantum key distribution-apparaat, en hoewel het nog geen perfecte vervanging is voor elke bestaande robotcommunicatiestandaard, bewijst het dat een flexibelere, veiligere en efficiëntere aanpak mogelijk is. Het werk benadrukt dat naarmate robots meer geïntegreerd raken in ons leven, de software die hen verbindt moet evolueren om net zo slim en aanpasbaar te zijn als de machines zelf, om hun gesprekken te beschermen tegen de hackers van vandaag én de dreigingen van morgen.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.