Tarkvaratõestust

Tarkvaratõestus on mehhanismide ja protokollide kogum, mille abil saab teisele osapoolele tõestada tarkvara koostist, olekut ja usaldusväärsust. Eesmärk on võimaldada usalduslikku koostööd eri süsteemide vahel ning tagada, et tarkvara on pärit algsest allikast ja pole pahatahtlikult muudetud. Tõestusprotsess keskendub käivitamise ja töö ajal kogutud tõendusmaterjali kontrollimisele ning vastavuse sertifitseerimisele.

Peamised mõisted: attester ehk tõestaja – süsteemi osa, mis kogub ja esitab tõendusmaterjali; verifier ehk kontrollija – pool, kes hindab tõendusmaterjali; attestation evidence – tõendus; root of trust – usaldusväärne alus, millelt tõestus algab. Riistvarapõhine tarkvaratõestus kasutab turvakihti nagu TPM või ARM TrustZone; tarkvarapõhine lähenemine põhineb käivituse ja tööaegsete kontrollide ning koodi digiallkirjadel.

Protsess võib hõlmata käivitamise ajal kogutud mõõtmisi (hashid, nimekiri osadest) ning nende esitust kontrollijale. Remote attestation ehk kaug-tõestus võimaldab tõestuse teisele osapoolele üle võrgu esitada, et kinnitada süsteemi olekut ja tarkvara koostist. See on oluline pilveinfrastruktuuride, virtuaalmasinate ja konteinerite turvalisuses.

Rakendused hõlmavad tarkvara tarnetsüklite ja tarneahela turvalisust, pilviteenuste ning konteneripõhise keskkonna usaldusväärsuse tagamist ning nõuete täitmist.

Väljakutsed on privaatsus ja tõendusandmete kaitse, tõendusandmete ühilduvus ja standardiseerimine. Lisaks kaasnevad riskid, nagu vale tõestus või manipuleeritavus. Tööstuslikult arendatakse standardeid ja raamistikku, et suurendada usaldusväärsust ning parandada tarkvara tarnete läbipaistvust.