struct ara::crypto::SecureCounter

De structuur ara::crypto::SecureCounter dient in de module crypto als een 128-bits veiligheidsteller, bestaande uit twee 64-bits gehele getallen voor de minst significante bits ([SWS_CRYPT_30002]) en de meest significante bits ([SWS_CRYPT_30003]). Aanroepende componenten gebruiken dit datatype voor de representatie van robuuste tellerstanden, waarbij incrementaties en overdrachtslogica tussen de deelwoorden handmatig moeten worden aangestuurd. Als zuiver waardetype biedt de structuur geen interne synchronisatie, waardoor parallelle toegangen in multithreading-omgevingen dwingend extern moeten worden gecoördineerd.

meer ›

Context

De structuur ara::crypto::SecureCounter fungeert binnen de module crypto van het AUTOSAR Adaptive Platform als fundamenteel datatype voor de representatie van een 128-bits brede cryptografische teller. Gedefinieerd in het headerbestand ara/crypto/common/base_id_types.h, is de datastructuur opgebouwd uit twee 64-bits gehele getallen van het type std::uint64_t: het data-element mLSQW voor de minst significante 64 bits conform [SWS_CRYPT_30002] en het data-element mMSQW voor de meest significante 64 bits conform [SWS_CRYPT_30003]. In beveiligingsarchitecturen dienen tellerwaarden van deze omvang om de temporele versheid van berichten te waarborgen en replay-aanvallen effectief af te weren. Interpretatie: Als gestandaardiseerd datatype dient de structuur vermoedelijk primair als interface- en opslagformaat voor monotone tellers of sequentienummers die worden uitgewisseld door cryptografische protocollen, stuurprogramma's en hardware-nabije beveiligingscomponenten. Vraag Q-57197e2ecabd5cab (open) Omdat de specificatie ara::crypto::SecureCounter als een zuivere datacontainer zonder directe algoritmische binding declareert, interageren bovenliggende lagen rechtstreeks met de twee deelelementen om tellerstanden te controleren, te preserveren of in protocolberichten in te bedden.

Levenscyclus

Als klassieke C++-structuur (struct) kent ara::crypto::SecureCounter een lichtgewicht levenscyclus zonder dynamisch geheugenbeheer of toestandshoudende beheerlogica. De instantiëring vindt gewoonlijk direct op de stack plaats als lokaal waardetype of ingebed als veldelement in bovenliggende contexten zoals security-event-headers of cryptografische sessiedescriptoren. Vermoedelijk vertoont de structuur als eenvoudige datacontainer een reguliere C++-waardesemantiek met impliciet kopieer- en toekenningsgedrag, maar biedt deze geen interne synchronisatiemechanismen voor gelijktijdige toegang. Vraag Q-a4d95542ea77870d (open) Voor ontwikkelaars betekent dit dat gelijktijdige lees- en schrijftoegangen vanuit verschillende threads moeten worden beveiligd met externe synchronisatieprimitieven om datainconsistenties bij telleractualisaties te voorkomen. De levenscyclus van een instantie eindigt automatisch bij het verlaten van de desbetreffende scope, waarbij geen expliciete vrijgaven of opschoonacties nodig zijn.

Gebruikspad

Het typische gebruikspad omvat initialisatie, stapsgewijze incrementatie en het uitlezen van de gecombineerde 128-bits tellerwaarde via de twee structurele componenten. Een aanroeper instantieert eerst de structuur en wijst aan het lage deelwoord mLSQW ([SWS_CRYPT_30002]) en het hoge deelwoord mMSQW ([SWS_CRYPT_30003]) de initiële tellerstanden toe. Bij doorlopende telprocessen wordt primair het lage woord mLSQW geïncrementeerd. Bereikt mLSQW de maximale waarde van het 64-bits bereik, dan vindt een rekenkundige overdracht plaats naar het hoge woord mMSQW, dat met één wordt verhoogd. Interpretatie: De rekenkundige bewerkingen zoals incrementatie en overdrachtsafhandeling worden vermoedelijk aan de aanroeperszijde gerealiseerd, aangezien de specificatie voor ara::crypto::SecureCounter geen eigen lidfuncties declareert. Vraag Q-68babc70b53a5745 (open) Bij verzending of persistente opslag worden de twee 64-bits delen gestructureerd geserialiseerd, waarbij op een consistente byte- en woordvolgorde moet worden gelet om misinterpretaties van de totale waarde aan de ontvangende zijde uit te sluiten.

Foutscenario's

Omdat ara::crypto::SecureCounter een zuivere datastructuur zonder eigen methoden is, genereert de structuur bij operaties geen excepties en levert deze evenmin foutspecificaties of foutcodes van het type ara::core::ErrorCode op. Foutscenario's ontstaan dan ook niet binnen de structuur zelf, maar door foutieve afhandeling van de twee deelwoorden in de aanroepende softwarelagen. Een kritiek foutscenario is de onopgemerkte rekenkundige overloop van de totale teller wanneer zowel mLSQW ([SWS_CRYPT_30002]) als mMSQW ([SWS_CRYPT_30003]) hun maximale waardebereik uitputten en terugspringen naar nul, wat in mechanismen voor replay-bescherming tot beveiligingslekken kan leiden. Verdere schendingen van pre- en postcondities treden op wanneer bij updates de overdracht van mLSQW naar mMSQW wordt nagelaten of wanneer bij onvolledige initialisatie ongedefinieerde geheugenwaarden in berekeningen terechtkomen. Aanroepende componenten moeten daarom vóór de verdere verwerking waarborgen dat beide data-elementen consistent zijn geïnitialiseerd en dat overdrachtslogica foutloos is geïmplementeerd.