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
2009ANU Authors
Fields of Research
- Computational Logic And Formal Languages
- Computer System Security
- Software Engineering
