Temporal Logic-Based Specification and Verification of Trust Models-Reference-Cited by-同舟云学术

Temporal Logic-Based Specification and Verification of Trust Models

Published:2006 Issue: Volume: Page:105-119
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Herrmann Peter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11755593_9

Reference23 articles.

1. McKnight, D.H., Chervany, N.L.: The Meanings of Trust. Working Paper Series 96–04, University of Minnesota — Carlson School of Management (1996)

2. Gambetta, D.: Can We Trust Trust? In: Gambetta, D. (ed.) Trust: Making and Breaking Cooperative Relations, pp. 213–238. Basil Blackwell, Malden (1990)

3. Jøsang, A.: The right type of trust for distributed systems. In: Proc. UCLA New Security Paradigms Workshop, Lake Arrowhead, pp. 119–131. ACM, New York (1996)

4. Lecture Notes in Artificial Intelligence;R. Falcone,2001

5. Falcone, R., Castelfranchi, C.: Social Trust: A Cognitive Approach. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 55–90. Kluwer Academic Publishers, Dordrecht (2001)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Trust-based Resilient Routing Mechanism for the Internet of Things;Proceedings of the 12th International Conference on Availability, Reliability and Security;2017-08-29

2. Modeling and Quantitative Verification of Trust Systems Against Malicious Attackers;The Computer Journal;2015-12-17

3. Modeling Reactive Trust Acquisition Using State Transition Systems;Trust Management VII;2013

4. A Multidimensional Reputation Scheme for Identity Federations;Public Key Infrastructures, Services and Applications;2010

5. Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services;On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE;2006