Programvaruintyg har blivit ett populärt och utmanande forskningsämne vid många etablerade säkerhetskonferenser med en förväntad stor inverkan i praktiken. Det syftar till att verifiera programvarans integritet (vanligtvis) resursanpassade inbyggda enheter. Av praktiska skäl kan dock programvaruintyg inte förlita sig på lagrade kryptografiska hemligheter eller särskild betrodd hårdvara. I stället utnyttjar den information från sidokanal, t.ex. den tid som den underliggande enheten behöver för en specifik beräkning. Eftersom traditionella kryptografiska lösningar och argument inte är tillämpliga krävs nya metoder för utformning och analys. Detta är förvisso en av de viktigaste orsakerna till att de säkerhetsmål, egenskaper och underliggande antaganden som finns i befintliga system för programvaruintyg hittills endast har diskuterats vagt, vilket begränsar förtroendet för deras säkerhetsanspråk. Därför är det fortfarande ett viktigt öppet problem att sätta programvaruintyg på en solid grund och att ha ett välgrundat tillvägagångssätt för att utforma säkra system för programvaruintyg. Vi tillhandahåller de första stegen mot att minska denna klyfta. Vårt första bidrag är en säkerhetsram som formellt fångar upp säkerhetsmål, angriparemodeller och olika system- och designparametrar. Dessutom presenterar vi ett generiskt system för programvaruintyg som täcker de flesta befintliga system i litteraturen. Slutligen analyserar vi dess säkerhet inom vår ram, vilket ger tillräckliga förutsättningar för bevisligen säkra system för programvaruintyg. Vi förväntar oss att ett sådant konsoliderande arbete möjliggör en meningsfull säkerhetsanalys av befintliga system, stöder utformningen av säkra system för programvaruintyg och kommer att inspirera till ny forskning på detta område.
Armknecht m.fl. REF byggde upp en säkerhetsram för programvaruintyg.
A security framework for the analysis and design of software attestation
{'venue': "CCS '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}