Konceptet med en ceremoni som en förlängning av nätverks- och säkerhetsprotokoll infördes av Ellison. Det finns för närvarande inga tillgängliga metoder eller verktyg för att kontrollera riktigheten av egenskaperna i sådana ceremonier. Den potentiella tillämpningen av säkerhetsceremonier är omfattande och fyller luckor som finns kvar av starka antaganden i säkerhetsprotokollen. Antaganden omfattar tillhandahållande av kryptografiska nycklar och korrekt mänsklig interaktion. Dessutom finns det inga verktyg för att kontrollera hur kunskap sprids mellan människor eller deras interaktion med andra människor och datorer i dessa scenarier. Det viktigaste inslaget i detta positionsdokument är formaliseringen av den mänskliga kunskapsdistributionen vid säkerhetsceremonier. Genom att på ett korrekt sätt utnyttja mänskliga förväntningar och interaktioner i säkerhetsprotokoll, kan vi minimera de illa beskrivna antaganden som vi vanligtvis ser misslyckas. Att ta hänsyn till sådana frågor när man utformar eller verifierar protokoll kan hjälpa oss att bättre förstå var protokollen är mer benägna att bryta på grund av mänskliga begränsningar. * Stödd av CNPq/Brasilien † Stödd av CNPq/FINEP Brasilien
Carlos och Al. skissa en metod för att formalisera mänsklig kunskapsdistribution i säkerhetsceremonier REF.
A Proposed Framework for Analysing Security Ceremonies
{'venue': 'SECRYPT', 'journal': None, 'mag_field_of_study': ['Computer Science']}