Graduate studies at Western
|Abstract||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)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Joeri Engelfriet & Jan Treur (2002). Linear, Branching Time and Joint Closure Semantics for Temporal Logic. Journal of Logic, Language and Information 11 (4):389-425.
Nicholas Capaldi (2007). Corporate Social Responsibility in Developing Countries in a Global Market Economy. International Corporate Responsibility Series 3:223-229.
Ronald K. Mitchell (2004). Evolutionary Biology Research, Entrepreneurship, and the Morality of Security-Seeking Behavior in an Imperfect Economy. The Ruffin Series of the Society for Business Ethics 2004:263-287.
Martin Lange (2009). Model Checking for Hybrid Logic. Journal of Logic, Language and Information 18 (4):465-491.
Daniel G. Campos (2002). Assessing the Value of Nature: A Transactional Approach. Environmental Ethics 24 (1):57-74.
Bryan W. Husted (1994). Honor Among Thieves. Business Ethics Quarterly 4 (1):17-27.
Added to index2009-10-23
Total downloads3 ( #213,731 of 739,352 )
Recent downloads (6 months)1 ( #61,538 of 739,352 )
How can I increase my downloads?