A formal model for trust in dynamic networks

Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003

Volumn , Issue , 2003, Pages 54-61

  Carbone, M ^a   Nielsen, M ^a   Sassone, V ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; INFORMATION MANAGEMENT; SOFTWARE ENGINEERING;

DOMAIN THEORY; DYNAMIC NETWORK; FORMAL MODEL; GLOBAL COMPUTING; PARTIAL ORDER; TRUST MANAGEMENT; TRUST STRUCTURES;

FORMAL METHODS;

COMPUTATION; MODELS;

EID: 84944319168     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2003.1236207     Document Type: Conference Paper

References (24)

1. A. W. Appel and E. W. Felten. Proof-carrying authentication. In Proc. 6th ACM Conference on Computer and Communications Security, 1999.
2. M. Blaze, J. Feigenbaum, and J. Lacy. KeyNote: Trust management for public-key infrastructure. LNCS, 1550:59-63, 1999.
3. M. Burrows, M. Abadi, B. W. Lampson, and G. Plotkin. A calculus for access control in distributed systems. LNCS, 576:1-23, 1991.
4. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. In Proceedings of the Royal Society, Series A, 426:18-36, 1991.
5. Y.-H. Chu, J. Feigenbaum, B. LaMacchia, P. Resnick, and M. Strauss. REFEREE: Trust management for web applications. Computer Networks and ISDN Systems, 29(8-13):953-964, 1997.
6. D. Clarke, J.-E. Elien, C. Ellison, M. Fredette, A. Morcos, and R. L. Rivest. Certificate chain discovery in SPKI/SDSI. http://theory.lcs.mit.edu/~rivest, 1999.
7. Y. Ding, P. Horster, and H. Petersen. A new approach for delegation using hierarchical delegation tokens. In Communications and Multimedia Security, pages 128-143, 1996.
8. C. M. Ellison, B. Frantz, B. Lampson, R. Rivest, B. M. Thomas, and T. Ylonen. SPKI certificate theory. Internet RFC 2693, 1999.
9. T. Grandison and M. Sloman. A survey of trust in internet application. IEEE Communications Surveys, Fourth Quarter, 2000.
10. G. Gräzer. Lattice Theory: First Concepts and Distributive Lattices. Freeman and Company, 1971.
11. S. Jajodia, P. Samarati, and V. S. Subrahmanian. A logical language for expressing authorizations. In Proc. of the 1997 IEEE Symposium on Security and Privacy, Oakland, CA, 1997.
12. A. J. I. Jones and B. S. Firozabadi. On the characterisation of a trusting agent. In Workshop on Deception, Trust and Fraud in Agent Societies, 2000.
13. A. Jøsang. A logic for uncertain probabilities. Fuzziness and Knowledge-Based Systems, 9(3), 2001.
14. U. W. Kulish and W. L. Miranker. Computer Arithmetic in Theory and Practice. Academic Press, 1981.
15. D. H. McKnight and N. L. Chervany. The meanings of trust. Trust in Cyber-Societies - LNAI, 2246:27-54, 2001.
16. I. Pörn. Some basic concepts of action. In S. Stenlund (ed.), Logical Theory and Semantic Analysis. Reidel, Dordrecht, 1974.
17. P. V. Rangan. An axiomatic basis of trust in distributed systems. In Symposium on Security and Privacy, 1998.
18. R. L. Rivest and B. Lampson. SDSI - A simple distributed security infrastructure. Presented at CRYPTO'96 Rumpsession, 1996.
19. D. S. Scott. Domains for denotational semantics. ICALP '82 - LNCS, 140, 1982.
20. V. Shmatikov and C. Talcott. Reputation-based trust management. In Workshop on Issues in the Theory of Security (WITS), 2003.
21. S. Weeks. Understanding trust management systems. In Proc. IEEE Symposium on Security and Privacy, Oakland, 2001.
22. U. G. Wilhelm, L. Buttyàn, and S. Staamann. On the problem of trust in mobile agent systems. In Symposium on Network and Distributed System Security. Internet Society, 1998.
23. W. H. Winsborough and N. Li. Towards practical automated trust negotiation. In IEEE 3rd Intl. Workshop on Policies for Distributed Systems and Networks, 2002.
24. P. Zimmermann. PGP Source Code and Internals. The MIT Press, 1995.