Skip navigation
The Australian National University

A Proof Theoretic Analysis of Intruder Theories


Tiu, A & Gore, R 2009, 'A Proof Theoretic Analysis of Intruder Theories', International conference on Rewriting Techniques and Applications (RTA 2009), ed. Ralf Treinen, Springer, Brasilia, Brazil, pp. 103-117.



ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Mathematical Logic, Set Theory, Lattices And Universal Algebra

Updated:  25 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers