Abstrakt. Vi diskuterar allmänna formella krav för resonemang om två parti k ey distribution protokoll, med hjälp av ett språk som utvecklats för att specificera säkerhetskrav för säkerhetsprotokoll. Vanligtvis tidigare arbete har övervägt formell analys av redan utvecklade protokoll. Vårt mål är att presentera uppsättningar av formella krav för olika sammanhang som kan tillämpas på designstadiet samt på befintliga protokoll. Vi använder ett protokoll analysverktyg vi h a v e utvecklat för att avgöra om en specific c protokoll har uppfyllt några av de krav vi specificerat. Vi visar h o w denna process avslöjade en aw i protokollet och hjälpte oss att re ne våra krav.
Syverson och Meadows REF presenterade de formella kraven för autentisering i viktiga distributionsprotokoll.
Formal requirements for key distribution protocols
{'venue': "In Proceedings of Eurocrypt '94", 'journal': None, 'mag_field_of_study': ['Computer Science']}