A Calculus for Trust Management-Reference-Cited by-同舟云学术

A Calculus for Trust Management

Published:2004 Issue: Volume: Page:161-173
ISSN:0302-9743
Container-title:FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
language:
Short-container-title:

Author:

Carbone Marco,Nielsen Mogens,Sassone Vladimiro

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30538-5_14.pdf

Reference15 articles.

1. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proc. of the 28th symposium on Principles of Programming Languages POPL 2001, pp. 104–115. ACM Press, New York (2001)

2. Abiteboul, S., Hull, R., Vianu, V.: Foundations of databases. Addison-Wesley, Reading (1995)

3. Lecture Notes in Computer Science;R. Amadio,1999

4. Appel, A.W., Felten, E.W.: Proof-carrying authentication. In: Proc. of 6th ACM Conference on Computer and Communications Security, CCS 1999 (1999)

5. Becker, M.Y., Sewell, P.: Flexible trust management, applied to electronic health records. In: Proc. of the 17th IEEE Computer Security Foundations Workshop CSFW 2004. IEEE Computer Society Press, Los Alamitos (2004)

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dynamics of reputation in mobile agents systems and weighted timed automata;Information and Computation;2022-01

2. Design and Verification of Trusted Collective Adaptive Systems;ACM Transactions on Modeling and Computer Simulation;2018-04-30

3. Modeling and verification of trust and reputation systems;Security and Communication Networks;2015-02-16

4. A Formal Dynamic Verification of Choreographed Web Services Conversations;Provable Security;2015

5. A Calculus for Trust and Reputation Systems;IFIP Advances in Information and Communication Technology;2014