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

Andreas Bauer^*, Rajeev Goré, Alwen Tiu

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review