Skip navigation
Skip navigation

A Proof Theoretic Analysis of Intruder Theories

Tiu, Alwen; Gore, Rajeev; Dawson, Jeremy


We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of blind signatures and arbitrary convergent equational theories modulo associativity and commutativity (AC) of certain binary operators. The traditional formulations of intruder deduction are usually given in natural-deduction-like systems and proving decidability requires significant effort in showing that the rules are...[Show more]

CollectionsANU Research Publications
Date published: 2010
Type: Journal article
Source: Logical Methods in Computer Science
DOI: 10.2168/LMCS-6(3:12)2010


File Description SizeFormat Image
01_Tiu_A_Proof_Theoretic_Analysis_of_2010.pdf364.5 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator