Skip navigation
Skip navigation

A Proof Theoretic Analysis of Intruder Theories

Tiu, Alwen; Gore, Rajeev

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 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
URI: http://hdl.handle.net/1885/18702
Source: RTA 2009: Proceedings of the International Conference on Rewriting Techniques & Applications
DOI: 10.1007/978-3-642-02348-4_8

Download

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