Skip navigation
The Australian National University

A Proof Theoretic Analysis of Intruder Theories

Citation

Tiu, A, Gore, R & Dawson, J 2010, 'A Proof Theoretic Analysis of Intruder Theories', Logical Methods in Computer Science, vol. 6, no. 3, pp. 1-37.

Year

2010

Fields of Research

  • Computational Logic And Formal Languages
  • Computer System Security

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