ResearchTrend.AI
Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach

Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach

Ralf Küsters
Tomasz Truderung
ArXiv (abs)PDFHTML

Papers citing "Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach"

1 / 1 papers shown
Title
Automatic Verification of Correspondences for Security Protocols
Automatic Verification of Correspondences for Security Protocols
B. Blanchet
118
241
0
23 Feb 2008

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.