Vi utformar och analyserar ett enkelt optimistiskt, rättvist, icke-repudieringsprotokoll. Vårt protokoll är betydligt enklare och effektivare än nuvarande förslag, främst på grund av att man undviker att använda sessionsetiketter. Vi modellerar både säkerhets- och boendeegenskaper. Vi verifierar säkerhetsegenskaperna med hjälp av en standardinkräktare, och levande egenskaper med hjälp av en inkräktare som respekterar de motståndskraftiga kommunikationskanaler antagande. Slutligen, för att ge ytterligare förtroende för protokollet vi exponerar flera sårbarheter på svagare versioner av vårt protokoll.
Cederquist m.fl. REF utformar ett optimistiskt CEM-protokoll och kontrollerar både säkerhets- och livenessegenskaper med hjälp av μCRL-verktygset.
On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol
{'venue': 'ICICS', 'journal': None, 'mag_field_of_study': ['Computer Science']}