Towards a Formal Notion of Trust

Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Volumn 5, Issue , 2003, Pages 4-7

  Nielsen, Mogens ^a   Krukow, Karl ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Languages; Security; Theory

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COMPUTER SUPPORTED COOPERATIVE WORK; SEMANTICS;

GLOBAL COMPUTING; TRUST MANAGEMENT SYSTEMS;

SECURITY OF DATA;

EID: 1242265163     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/888251.888253     Document Type: Conference Paper

References (10)

1. M. Blaze, J. Feigenbaum, and J. Lacy. Decentralized trust management. In Proc. IEEE Conference on Security and Privacy, Oakland, 1996.
2. M. Blaze, J. Feigenbaum, and J. Lacy. KeyNote: Trust management for public-key infrastructure. Springer LNCS, 1550:59-63, 1999.
3. M. Blaze, J. Feigenbaum, and M. Strauss. Compliance checking in the policymaker trust management system. In Financial Cryptography, pages 254-274, 1998.
4. V. Cahill et al. Using trust for secure collaboration in uncertain environments. to appear in IEEE Pervasive Computing, 2003.
5. M. Carbone and V. Sassone. A formal model for trust in dynamic networks, to appear in the proceedings from Software Engineering and Formal Methods, SEFM'03, IEEE Computer Society Press, 2003.
6. T. Grandison and M. Sloman. A survey of trust in internet application. IEEE Communications Surveys, Fourth Quarter, 2000.
7. A. Jøsang. A logic for uncertain probabilities. Fuzziness and Knowledge-Based Systems, 9(3), 2001.
8. D. H. McKnight and N. L. Chervany. The meanings of trust. Trust in Cyber-Societies - LNAI, 2246:27-54, 2001.
9. W. L. M. Ulrich W. Kulisch. Computer Arithmetic in Theory and Practice. Computer Science and Applied Mathematics. Academic Press Inc., 1981.
10. S. Weeks. Understanding trust management systems. In Proc. IEEE Symposium on Security and Privacy, Oakland, 2001.