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

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Computer System Security

Updated:  19 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers