Carbone, M., Nielsen, M., Sassone, V.: A formal model for trust in dynamic networks. In: Proc. of IEEE International Conference on Software Engineering and Formal Methods, Brisbane, Australia, IEEE Computer Society (2003) Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Calculus for Trust Management - Carbone, Nielsen, Sassone Self-citation (Carbone Nielsen Sassone) (Correct)
No context found.
M. Carbone, M. Nielsen, and V. Sassone. A formal model for trust in dynamic networks. In Proc. of International Conference on Software Engineering and Formal Methods (SEFM'03), pages 54--61. IEEE Computer Society Press, 2003.
A Classification of Trust Systems - Sebastian Ries Jussi (Correct)
No context found.
Carbone, M., Nielsen, M., Sassone, V.: A formal model for trust in dynamic networks. In: Proc. of IEEE International Conference on Software Engineering and Formal Methods, Brisbane, Australia, IEEE Computer Society (2003)
Simplification and Analysis of Transitive Trust Networks - Jøsang, Gray, Kinateder (2006) (Correct)
No context found.
M. Carbone, M. Nielsen, and V. Sassone, "A Formal Model for Trust in Dynamic Networks," in Proc. of International Conference on Software Engineering and Formal Methods (SEFM'03), Brisbane, September 2003.
A Survey of Trust and Reputation Systems for Online Service .. - Jøsang, Ismail, Boyd (2006) (Correct)
No context found.
M. Carbone, M. Nielsen, and V. Sassone. A Formal Model for Trust in Dynamic Networks. In Proc. of International Conference on Software Engineering and Formal Methods (SEFM'03), Brisbane, September 2003.
Semantic Constraints for Trust Transitivity - Jøsang, Pope (2005) (Correct)
No context found.
M. Carbone, M. Nielsen, and V. Sassone. A Formal Model for Trust in Dynamic Networks. In Proc. of International Conference on Software Engineering and Formal Methods (SEFM'03), Brisbane, September 2003.
Basic Research in Computer Science - Distributed Approximation Of (Correct)
No context found.
M. Carbone, M. Nielsen, and V. Sassone. A formal model for trust in dynamic networks. In Proceedings from Software Engineering and Formal Methods, SEFM'03. IEEE Computer Society Press, 2003.
Semantic Constraints for Trust Transitivity - Jøsang, Pope (2005) (Correct)
No context found.
M. Carbone, M. Nielsen, and V. Sassone. A Formal Model for Trust in Dynamic Networks. In Proc. of International Conference on Software Engineering and Formal Methods (SEFM'03), Brisbane, September 2003.
A Robust Reputation System for P2P and Mobile Ad-hoc Networks - Buchegger, Le Boudec (2004) (2 citations) (Correct)
No context found.
Marco Carbone, Mogens Nielsen, and Vladimiro Sassone. A formal model for trust in dynamic networks. BRICS Report RS-03-4, 2003.
Analysing Topologies of Transitive Trust - Jøsang, Gray, Kinateder (2003) (2 citations) (Correct)
No context found.
Carbone, M., Nielsen, M., Sassone, V.: A formal model for trust in dynamic networks. Technical Report RS-03-4, BRICS (2003)
Trust Management in Strand Spaces: A Rely-Guarantee.. - Guttman, Thayer.. (2004) (2 citations) (Correct)
No context found.
Marco Carbone, Mogens Nielsen, and Vladimiro Sassone. A formal model for trust in dynamic networks. In Antonio Cerone, editor, International Conference on Software Engineering and Formal Methods. IEEE CS Press, September 2003.
A Robust Reputation System for Mobile Ad-hoc Networks - Buchegger, Le Boudec (2003) (4 citations) (Correct)
No context found.
Marco Carbone, Mogens Nielsen, and Vladimiro Sassone. A formal model for trust in dynamic networks. BRICS Report RS03 -4, 2003.
A Robust Reputation System for Mobile Ad-hoc Networks - Buchegger, Le Boudec (2003) (4 citations) (Correct)
No context found.
Marco Carbone, Mogens Nielsen, and Vladimiro Sassone. A formal model for trust in dynamic networks. BRICS Report RS03 -4, 2003.
Using Trust and Risk in Role-Based Access Control.. - Dimmock.. (2004) (2 citations) (Correct)
No context found.
Marco Carbone, Mogens Nielsen, and Vladimiro Sassone. A formal model for trust in dynamic networks. Research Series RS-03-04, BRICS, Department of Computer Science, University of Aarhus, January 2003. EU Project SECURE IST-2001-32486 Deliverable 1.1.
A Robust Reputation System for P2P and Mobile Ad-hoc Networks - Buchegger, Le Boudec (2004) (2 citations) (Correct)
No context found.
Marco Carbone, Mogens Nielsen, and Vladimiro Sassone. A formal model for trust in dynamic networks. BRICS Report RS-03-4, 2003.
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