loading...
A Formal Model for Trust in Dynamic Networks
Brisbane, Australia September 22-September 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236207First International Conference on Sof ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Marco Carbone, University of Aarhus
Mogens Nielsen, University of Aarhus
Vladimiro Sassone, University of Sussex
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.
Citation:
Marco Carbone, Mogens Nielsen, Vladimiro Sassone, "A Formal Model for Trust in Dynamic Networks," sefm, pp.54, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.