ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

A unification-based decision procedure for cryptographic protocol analysis

Bhardwaj, Deepak and D’Souza, Deepak (2006) A unification-based decision procedure for cryptographic protocol analysis. In: Proc. 6th International Workshop on Issues in theory of Security (WITS), , 2006, Vienna.

[img] PDF
Unique_pdf.pdf - Published Version
Restricted to Registered users only

Download (177kB) | Request a copy


We present a sound and complete decision procedure for the bounded process cryptographic protocol insecurity problem, based on the notion of normal proofs [2] and classical unification. We also show a result about the existence of attacks with “high” normal cuts. Our proof of correctness provides an alternate proof and new insights into the fundamental result of Rusinowitch and Turuani [9] for the same setting.

Item Type: Conference Paper
Department/Centre: Division of Electrical Sciences > Computer Science & Automation
Date Deposited: 10 Nov 2011 05:50
Last Modified: 10 Nov 2011 05:50
URI: http://eprints.iisc.ac.in/id/eprint/41962

Actions (login required)

View Item View Item