Sciweavers

Share
ICTAC
2009
Springer

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

8 years 8 months ago
A First-Order Policy Language for History-Based Transaction Monitoring
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 transaction history obeys the stated policy. To be useful in a real setting, such a language should allow one to express realistic policies which may involve parameter quantification and quantitative or statistical patterns. We introduce several extensions of linear temporal logic to cater for such needs: a restricted form of universal and existential quantification; arbitrary computable functions and relations in the term language; and a "counting" quantifier for counting how many ...
Andreas Bauer 0002, Rajeev Goré, Alwen Tiu
Added 19 Feb 2011
Updated 19 Feb 2011
Type Journal
Year 2009
Where ICTAC
Authors Andreas Bauer 0002, Rajeev Goré, Alwen Tiu
Comments (0)
books