Abstrakt. Nyligen föreslog Kuesters et al två nya metoder med hjälp av ProVerif för att analysera kryptografiska protokoll med Exclusive-Or och Diffie-Hellman egenskaper. Vissa verktyg, till exempel CL-Atse och OFMC, kan hantera Exclusive-Or och Diffie-Hellman. I den här artikeln jämför vi tidseffektiviteten hos dessa verktyg som verifierar vissa protokoll av litteraturen som är utformade med sådana algebraiska egenskaper.
Lafourcade m.fl. REF analyserar ett antal protokoll som handlar om algebraiska egenskaper som Exclusive-Or och Diffie-Hellman och jämför resultaten från olika verktyg: OFMC, CL-Atse och XOR-ProVerif eller DH-ProVerif i termer av effektivitet.
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
{'venue': 'Formal Aspects in Security and Trust', 'journal': None, 'mag_field_of_study': ['Computer Science']}