A First-Order Policy Language for History-Based Transaction Monitoring.

Andreas Bauer, Rajeev Gor, Alwen Tiu

Browse the full ICTAC paper archive.