The existence of refinement mappings
Theoretical Computer Science
The right type of trust for distributed systems
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
A framework for modeling transfer protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
Social trust: a cognitive approach
Trust and deception in virtual societies
On the characterisation of a trusting agent - aspects of a formal approach
Trust and deception in virtual societies
A logic for uncertain probabilities
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
The Socio-cognitive Dynamics of Trust: Does Trust Create Trust?
Proceedings of the workshop on Deception, Fraud, and Trust in Agent Societies held during the Autonomous Agents Conference: Trust in Cyber-societies, Integrating the Human and Artificial Perspectives
Specifying and Analysing Trust for Internet Applications
I3E '02 Proceedings of the IFIP Conference on Towards The Knowledge Society: E-Commerce, E-Business, E-Government
An Old-Fashioned Recipe for Real Time
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Supporting Trust in Virtual Communities
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 6 - Volume 6
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)
A fuzzy approach to a belief-based trust computation
AAMAS'02 Proceedings of the 2002 international conference on Trust, reputation, and security: theories and practice
Decentralized trust management
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
iTrust'05 Proceedings of the Third international conference on Trust Management
An Evolutionary Trust and Distrust Model
Electronic Notes in Theoretical Computer Science (ENTCS)
A multidimensional reputation scheme for identity federations
EuroPKI'09 Proceedings of the 6th European conference on Public key infrastructures, services and applications
Aligning UML 2.0 state machines and temporal logic for the efficient execution of services
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
| Hi-index | 0.00 |
Mutual trust is essential in performing economical transactions. In modern internet-based businesses, however, traditional trust gaining mechanisms cannot be used and new ways to build trust between e-business partners have to be found. In consequence, a lot of models describing trust and the mechanisms to build it were developed. Unfortunately, most of these models neither provide the right formalism to model relevant aspects of the trust gaining process (e.g., context and time of a trust-related interaction), nor do they allow refinement proofs verifying that a trust management tool implements a certain trust model. Therefore, we propose the temporal logic-based specification and verification technique cTLA which provides a formalism enabling to model context- and time-related aspects of a trust building process. Moreover, cTLA facilitates formal refinement proofs. In this paper, we discuss the application of cTLA to describe trust purposes by means of simple example systems which are used to decide about the application of certain policies based on the reputation of a party. In particular, we introduce a basic and a refined reputation system and sketch the proof that the refined system is a correct realization of the simple one.