Skip navigation
Skip navigation

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

Bauer, Andreas; Gore, Rajeev; Tiu, Alwen


Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting, the decision to trust a user may sensibly be based on that user's past behaviour. We introduce a specification language based on linear temporal logic for expressing a policy for categorising the behaviour patterns of a user depending on its transaction history. We also present an algorithm for checking whether the...[Show more]

CollectionsANU Research Publications
Date published: 2009
Type: Conference paper
Source: Proceedings of The 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009)
DOI: 10.1007/978-3-642-03466-4_6


File Description SizeFormat Image
01_Bauer_A_first-order_policy_language_2009.pdf138.99 kBAdobe PDF    Request a copy
02_Bauer_A_first-order_policy_language_2009.pdf81.75 kBAdobe PDF    Request a copy
03_Bauer_A_first-order_policy_language_2009.pdf217.02 kBAdobe PDF    Request a copy
04_Bauer_A_first-order_policy_language_2009.pdf72.49 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator