Skip navigation
Skip navigation

A Proof Theoretic Analysis of Intruder Theories

Tiu, Alwen; Gore, Rajeev; Dawson, Jeremy

Description

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
URI: http://hdl.handle.net/1885/30727
Source: Logical Methods in Computer Science
DOI: 10.2168/LMCS-6(3:12)2010

Download

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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator