A calculus for trust management

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3328, Issue , 2004, Pages 161-173

  Carbone, Marco ^a   Nielsen, Mogens ^a   Sassone, Vladimiro ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATALOG; FORMALISATION; GLOBAL COMPUTING; GLOBAL COMPUTING SYSTEM; PROCESS ALGEBRAS; PROCESS CALCULI; TRUST EVOLUTION; TRUST MANAGEMENT;

COMPUTATION THEORY; CALCULATIONS;

COMPUTATION THEORY; SOFTWARE ENGINEERING;

EID: 35048851489     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30538-5_14     Document Type: Article

References (15)

1. M. Abadi and C. Fournet. Mobile values, new names, and secure communication. In Proc. of the 28th symposium on Principles of Programming Languages (POPL'01), pages 104-115. ACM Press, 2001.
2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of databases. Addison-Wesley, 1995.
3. R. Amadio, G. Boudol, and C. Lhoussaine. The receptive distributed pi-calculus. In Proc. of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS '99), volume 1738 of LNCS, pages 304-315. Springer-Verlag, 1999.
4. A. W. Appel and E. W. Felten. Proof-carrying authentication. In Proc. of 6th ACM Conference on Computer and Communications Security (CCS '99), 1999.
5. M. Y. Becker and P. Sewell. Cassandra: Flexible trust management, applied to electronic health records. In Proc. of the 17th IEEE Computer Security Foundations Workshop (CSFW '04). IEEE Computer Society Press, 2004.
6. M. Burrows, M. Abadi, B. W. Lampson, and G. Plotkin. A calculus for access control in distributed systems. In Proc. of 11th Annual International Cryptology Conference Advances in Cryptology (CRYPTO '91), volume 576, pages 1-23, 1991.
7. M. Carbone and S. Maffies. On the expressive power of polyadic synchronisation in π-calculus. Nordic Journal of Computing (NJC), 10(2), September 2003.
8. 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.
9. J. Guttman, J. Thayer, J. Carlson, J. Herzog, J. Ramsdell, and B. Sniffen. Trust management in strand spaces: A rely-guarantee method. In Proc. of the European Symposium on Programming (ESOP '04), LNCS, pages 325-339. Springer-Verlag, 2004.
10. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. Information and Computation, 173(1):82-120, 2002.
11. S. Jajodia, P. Samarati, and V. S. Subrahmanian. A logical language for expressing authorizations. In Proc. of the IEEE Symposium on Security and Privacy, pages 31-42. IEEE Computer Society Press, 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. N. Li, J. C. Mitchell, and W. H. Winsborough. Design of a role-based trust management framework. In Proc. of the IEEE Symposium on Security and Privacy, pages 114-130. IEEE Computer Society Press, 2002.
14. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, I and II. Information and Computation, 100(1):1-40, 41-77, September 1992.
15. C. Palamidessi. Comparing the expressive power of the synchronous and the asynchronous π-calculus. In Proc. of the 24th symposium on Principles of Programming Languages (POPL'97), pages 256-265. ACM Press, 1997.