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 times a formula holds in the past. We then show that model checking a transaction history against a policy, which we call the history-based transaction monitoring problem, is PSPACE-complete in the size of the policy formula and the length of the history, assuming that the underlying interpreted func-.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Linear, Branching Time and Joint Closure Semantics for Temporal Logic.Joeri Engelfriet & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (4):389-425.
Corporate Social Responsibility in Developing Countries in a Global Market Economy.Nicholas Capaldi - 2007 - International Corporate Responsibility Series 3:223-229.
Evolutionary Biology Research, Entrepreneurship, and the Morality of Security-Seeking Behavior in an Imperfect Economy.Ronald K. Mitchell - 2004 - The Ruffin Series of the Society for Business Ethics 2004:263-287.
Model Checking for Hybrid Logic.Martin Lange - 2009 - Journal of Logic, Language and Information 18 (4):465-491.
Assessing the Value of Nature: A Transactional Approach.Daniel G. Campos - 2002 - Environmental Ethics 24 (1):57-74.
Added to index2009-10-23
Total downloads22 ( #227,386 of 2,169,136 )
Recent downloads (6 months)1 ( #345,573 of 2,169,136 )
How can I increase my downloads?