A Formal Model for Trust in Dynamic Networks

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Marco Carbone Articles by Mogens Nielsen Articles by Vladimiro Sassone

First International Conference on Software Engineering and Formal Methods (SEFM'03)

Brisbane, Australia

September 22-September 27

ISBN: 0-7695-1949-0

	ASCII Text	x
	Marco Carbone, Mogens Nielsen, Vladimiro Sassone, "A Formal Model for Trust in Dynamic Networks," Software Engineering and Formal Methods, International Conference on, pp. 54, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003.

	BibTex	x
	@article{ 10.1109/SEFM.2003.1236207, author = {Marco Carbone and Mogens Nielsen and Vladimiro Sassone}, title = {A Formal Model for Trust in Dynamic Networks}, journal ={Software Engineering and Formal Methods, International Conference on}, volume = {0}, year = {2003}, isbn = {0-7695-1949-0}, pages = {54}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236207}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Software Engineering and Formal Methods, International Conference on TI - A Formal Model for Trust in Dynamic Networks SN - 0-7695-1949-0 SP EP A1 - Marco Carbone, A1 - Mogens Nielsen, A1 - Vladimiro Sassone, PY - 2003 KW - null VL - 0 JA - Software Engineering and Formal Methods, International Conference on ER -

Marco Carbone, University of Aarhus

Mogens Nielsen, University of Aarhus

Vladimiro Sassone, University of Sussex

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236207

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.