Abstrakt. Säkerheten i de viktigaste avtalsprotokollen har traditionellt sett varit svår att fastställa. I detta dokument presenterar vi en modulär strategi för konstruktion av säkerhetsbevis för en stor klass av viktiga avtal protokoll. Genom att följa ett modulärt tillvägagångssätt för korrekt konstruktion hoppas vi kunna möjliggöra enklare och mindre felbenägen analys och korrekturgenerering för sådana nyckelavtalsprotokoll. Tekniken är kompatibel med Bellare-Rogaway stil modeller samt de nyare modellerna av Bellare et al. Canetti och Krawczyk. I synnerhet visar vi hur användningen av ett beslutande orakel kan underlätta konstruktionen av säkerhetsbevis för denna klass av protokoll och hur säkerheten i dessa protokoll vanligtvis minskar till någon form av Gap antagande.
I REF användes en modulär bevisteknik i en modifierad BJM-modell för att bevisa säkerheten i viktiga avtalsprotokoll i förhållande till ett gap antagande.
Modular Security Proofs for Key Agreement Protocols
{'venue': 'ASIACRYPT', 'journal': None, 'mag_field_of_study': ['Computer Science']}