Skip navigation
Skip navigation

A Proof Theoretic Analysis of Intruder Theories

Tiu, Alwen; Gore, Rajeev


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 F 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...[Show more]

CollectionsANU Research Publications
Date published: 2009
Type: Conference paper
Source: RTA 2009: Proceedings of the International Conference on Rewriting Techniques & Applications
DOI: 10.1007/978-3-642-02348-4_8


File Description SizeFormat Image
01_Tiu_A_Proof_Theoretic_Analysis_of_2009.pdf377.62 kBAdobe PDF    Request a copy
02_Tiu_A_Proof_Theoretic_Analysis_of_2009.pdf95.16 kBAdobe PDF    Request a copy
03_Tiu_A_Proof_Theoretic_Analysis_of_2009.pdf525.98 kBAdobe PDF    Request a copy

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

Updated:  22 January 2019/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator