Universitet och andra utbildningsorganisationer antar dator- och Internetbaserade bedömningsverktyg (här kallas e-exams) för att nå bred publik. Även om detta gör testerna mer tillgängliga, utsätter det dem för nya hot. För närvarande finns det mycket få strategier för att kontrollera sådana system för säkerhet, och det saknas också formella säkerhetsdefinitioner på detta område. Detta dokument fyller denna lucka: inom den formella ramen för de tillämpade π-kalkylerna definierar vi flera grundläggande autentiserings- och integritetsegenskaper och fastställer den första teoretiska ramen för säkerhetsanalysen av e-examprotokoll. Som bevis på konceptet analyserar vi två av dessa protokoll med ProVerif. Det första "säkra elektroniska tentamenssystem" som föreslås i litteraturen visar sig ha flera allvarliga problem. Det andra protokollet, Remark!, är bevisat att uppfylla alla säkerhetsegenskaper som tar tillträde kontroll på anslagstavlan. Vi föreslår en enkel ändring av protokollet som tar bort behovet av ett sådant antagande genom att garantera alla säkerhetsegenskaper.
Dreier m.fl. REF föreslår en formell ram i de tillämpade π-kalkylerna för att definiera och analysera autentiserings- och integritetskrav för tentor.
Formal analysis of electronic exams
{'venue': '2014 11th International Conference on Security and Cryptography (SECRYPT)', 'journal': '2014 11th International Conference on Security and Cryptography (SECRYPT)', 'mag_field_of_study': ['Computer Science']}