A first-order policy language for history-based transaction monitoring

Citation

Bauer, A, Gore, R & Tiu, A 2009, 'A first-order policy language for history-based transaction monitoring', International Colloquium on Theoretical Aspects of Computing (ICTAC 2009), ed. Martin Leucker, Charles C. Morgan, Springer, Berlin, Germany, pp. 96-111.

Year

2009

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Computer System Security
  • Software Engineering

Updated:  22 January 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers