Marco Carbone, Mogens Nielsen, Vladimiro Sassone BRICS, University of...  Home/Search
Context Related
| informatics.sussex.ac.uk/user...fmt.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatics.sussex.ac.uk/users... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a novel notion of trust structures which, building on concepts from trust management and domain theory, feature at the same time a trust and an information partial order. (Update)
Cited by: More
A Classification of Trust Systems - Sebastian Ries Jussi (Correct)
Simplification and Analysis of Transitive Trust Networks - Jøsang, Gray, Kinateder (2006) (Correct)
A Survey of Trust and Reputation Systems for Online Service .. - Jøsang, Ismail, Boyd (2006) (Correct)
Similar documents (at the sentence level):
50.9%: A Formal Model for Trust in Dynamic Networks - Carbone, Nielsen (2003) (Correct)
Active bibliography (related documents): More All
1.0: Trust Management for E-Transactions - Patil, Shyamasundar (2005) (Correct)
0.4: On Calculi For Mobility And Trust - Carbone (2002) (Correct)
0.3: Knowledge Representation and Rough Sets - Järvinen (1999) (Correct)
Similar documents based on text: More All
0.6: A Calculus for Trust Management - Carbone, Nielsen, Sassone (Correct)
0.3: Relationships between Models of Concurrency - Nielsen, Sassone, Winskel (1994) (Correct)
0.3: Characterizing Behavioural Congruences for Petri Nets - Nielsen, Priese, Sassone (1995) (Correct)
Related documents from co-citation: More All
7: Using trust for secure collaboration in uncertain environments - Cahill, Shand et al. - 2003
6: Fuzziness and KnowledgeBased Systems (context) - for, Probabilities et al. - 2001
5: Formalising Trust as a Computational Concept - Marsh - 1994
BibTeX entry: (Update)
Marco Carbone, Mogens Nielsen, and Vladimiro Sassone. A formal model for trust in dynamic networks. BRICS Report RS-03-4, 2003. http://citeseer.ist.psu.edu/carbone03formal.html More
@misc{ carbone03formal,
author = "M. Carbone and M. Nielsen and V. Sassone",
title = "A formal model for trust in dynamic networks",
text = "Marco Carbone, Mogens Nielsen, and Vladimiro Sassone. A formal model for
trust in dynamic networks. BRICS Report RS-03-4, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/carbone03formal.html" }
Citations (may not include all citations):302 A logic of authentication - Burrows, Abadi et al. - 1991
214 Domains for denotational semantics (context) - Scott - 1982
162 A calculus for access control in distributed systems - Burrows, Abadi et al. - 1991
156 SDSI -- A simple distributed security infrastructure - Rivest, Lampson - 1996
132 SPKI certificate theory (context) - Ellison, Frantz et al. - 1999
127 REFEREE: Trust management for web applications - Chu, Feigenbaum et al. - 1997
98 Certificate chain discovery SPKISDSI - Ellison, Morcos et al. - 1999
67 A logical language for expressing authorizations - Jajodia, Samarati et al. - 1997
66 KeyNote: Trust management for public-key infrastructure - Blaze, Feigenbaum et al. - 1999
57 Proof-carrying authentication - Appel, Felten - 1999
38 Fuzziness and Knowledge-Based Systems (context) - Jsang, for et al. - 2001
26 A survey of trust in internet application - Grandison, Sloman - 2000
24 An axiomatic basis of trust in distributed systems (context) - Rangan - 1998
23 Towards practical automated trust negotiation - Winsborough, Li - 2002
22 Understanding trust management systems - Weeks - 2001
20 the problem of trust in mobile agent systems - Wilhelm, an et al. - 1998
17 PGP Source Code and Internals (context) - Zimmermann - 1995
9 A new approach for delegation using hierarchical delegation .. - Ding, Horster et al. - 1996
5 the characterisation of a trusting agent (context) - Jones, Firozabadi - 2000
5 Computer Arithmetic in Theory and Practice (context) - Kulish, Miranker - 1981
5 of trust. Trust in Cyber-Societies - LNAI (context) - McKnight, Chervany - 2001
4 Some basic concepts of action (context) - orn - 1974
3 Lattice Theory: First Concepts and Distributive Lattices (context) - azer - 1971
3 Reputation-based trust management - Shmatikov, Talcott - 2003
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatics.sussex.ac.uk/users/vs/research/): More
A Calculus for Trust Management - Carbone, Nielsen, Sassone (Correct)
Jeeg: A Programming Language for Concurrent Objects.. - Milicia, Sassone (2002) (Correct)
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC