The University of Southampton
University of Southampton Institutional Repository

A Logical Framework for Reputation Systems

Krukow, K., Nielsen, M. and Sassone, V. (2007) A Logical Framework for Reputation Systems Journal of Computer Security, (In pr

Record type: Article


Reputation systems are meta systems that record, aggregate and distribute information about the past behaviour of principals in an application. Typically, these applications are large-scale open distributed systems where principals are virtually anonymous, and (a priori) have no knowledge about the trustworthiness of each other. Reputation systems serve two primary purposes: helping principals decide whom to trust, and providing an incentive for principals to well-behave. A logical policy-based framework for reputation systems is presented. In the framework, principals specify policies which state precise requirements on the past behaviour of other principals that must be fulfilled in order for interaction to take place. The framework consists of a formal model of behaviour, based on event structures; a declarative logical language for specifying properties of past behaviour; and efficient dynamic algorithms for checking whether a particular behaviour satisfies a property from the language. It is shown how the framework can be extended in several ways, most notably to encompass parameterized events and quantification over parameters. In an extended application, it is illustrated how the framework can be applied for dynamic history-based access control for safe execution of unknown and untrusted programs.

PDF concRepJCS.pdf - Other
Download (336kB)

More information

Published date: 2007
Keywords: reputation systems, history-based access control, trust management, dynamic model checking, event structures, linear temporal logic.
Organisations: Web & Internet Science


Local EPrints ID: 261852
PURE UUID: 0b4ceb3d-557b-4430-b625-4844fff92fb9

Catalogue record

Date deposited: 27 Jan 2006
Last modified: 18 Jul 2017 08:58

Export record


Author: K. Krukow
Author: M. Nielsen
Author: V. Sassone

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.