A framework for concrete reputation-systems with applications to history-based access control

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2005, Pages 260-269

  Krukow, Karl ^a   Nielsen, Mogens ^a   Sassone, Vladimiro ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

History based access control; Model checking; Reputation; Temporal logic; Trust management

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; DECISION MAKING; INFORMATION MANAGEMENT; PARAMETER ESTIMATION; PROBLEM SOLVING; SECURITY SYSTEMS;

HISTORY-BASED ACCESS CONTROL; MODEL CHECKING; REPUTATION; TEMPORAL LOGIC; TRUST MANAGEMENT;

INFORMATION RETRIEVAL SYSTEMS;

EID: 33745725093     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1102120.1102155     Document Type: Conference Paper

References (30)

1. M. Bartoletti, P. Degano, and G. L. Ferrari. History-based access control with local policies. In Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005. Proceedings, pages 316-332. Springer, 2005.
2. M. Blaze, J. Feigenbaum, J. Ioannidis, and A. D. Keromytis, The role of trust management in distributed systems security. In J. Vitek and C. D. Jensen, editors, Secure Internet Programming: Security Issues for Mobile and Distributed Objects, volume 1603 of Lecture Notes in Computer Science, pages 185-210. Springer, 1999.
3. D. F. Brewer and M. J. Nash. The Chinese wall security policy. In Proceedings from the 1989 IEEE Symposium on Security and Privacy, pages 206-214. IEEE Computer Society Press, 1989.
4. V. Cahill and E. Gray et al. Using trust for secure collaboration in uncertain environments. IEEE Pervasive Computing, 2(3):52-61, 2003.
5. V. Cahill and J.-M. Seigneur. The SECURE website. http://secure.dsg.cs.tcd.ie, 2004.
6. 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.
7. M. Carbone, M. Nielsen, and V. Sassone. A calculus for trust management. In Proceedings from Foundations of Software Technology and Theoretical Computer Science: 24th International Conference (FSTTCS'04), pages 161-173. Springer, December 2004.
8. eBay Inc. The eBay website. http://www.ebay.com.
9. G. Edjlali, A. Acharya, and V. Chaudhary. History-based access control for mobile code. In Proceedings from the 5th ACM Conference on Computer and Communications Security (CCS'98), pages 38-48. ACM Press, 1998.
10. Ú. Erlingsson and F. B. Schneider. SASI enforcement of security policies'. A retrospective. In Proceedings from the 8000 DARPA Information Survivability Conference and Exposition, pages 1287-1295. IEEE Computer Society Press, 2000.
11. P. W. L. Fong. Access control by tracking shallow execution history. In Proceedings from the 2004 IEEE Symposium on Security and Privacy, pages 43-55. IEEE Computer Society Press, 2004.
12. C. Fournet and A. D. Gordon. Stack inspection: Theory and variants. ACM Transactions on Programming Languages and Systems, 25(3):360-399, 2003.
13. K. Havelund and G. Roşu. Synthesizing monitors for safety properties. In Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference (TACAS'02), volume 2280 of Lecture Notes in Computer Science, pages 342-356. Springer-Verlag, 2002.
14. A. Jøsang and R. Ismail. The beta reputation system. In Proceedings from the 15th Bled Conference on Electronic Commerce, Bled, 2002.
15. A. Jøsang, R. Ismail, and C. Boyd. A survey of trust and reputation for online service provision. Decision Support Systems, (to appear, preprint available online: http://security.dstc.edu.au/staff/ajosang), 2004.
16. S. D. Kamvar. M. T. Schlosser, and H. Garcia-Molina. The eigentrust algorithm for reputation management in P2P networks. In Proceedings from the twelfth international conference on World Wide Web, Budapest, Hungary, pages 640-651. ACM Press, 2003.
17. K. Krukow, M. Nielsen, and V. Sassone. A framework for concrete reputation-systems. Technical Report RS-05-23, BRIGS, University of Aarhus, July 2005.
18. K. Krukow and A. Twigg. Distributed approximation of fixed-points in trust structures. In Proceedings from the 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05), pages 805-814. IEEE, 2005.
19. F. Laroussinie, N. Markey. and P. Schnoebelen. Temporal logic with forgettable past. In Proceedings from the 17th IEEE Symposium on Logic in Computer Science (LICS'02), pages 383-392. IEEE Computer Society Press, 2002.
20. M. Nielsen and K. Krukow. Towards a formal notion of trust. In Proceedings from the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03), pages 4-7. ACM Press, 2003.
21. M. Nielsen and K. Krukow. On the formal modelling of trust in reputation-based systems. In J. Karhumäki, H. Maurer, G. Paun, and G. Rozenberg, editors, Theory Is Forever: Essays Dedicated to Arto Salomaa, volume 3113 of Lecture Notes in Computer Science, pages 192-204. Springer Verlag, 2004.
22. A. Pnueli. The temporal logic of programs. In Proceedings from the 18th Annual Symposium on Foundations of Computer Science (FOCS'77), pages 46-57. IEEE, New York, 1977.
23. R. Pucella and V. Weissman. A logic for reasoning about digital rights. In Proceedings from 15th IEEE Computer Security Foundations Workshop (CSFW'02), pages 282-294. IEEE Computer Society Press, 2002.
24. P. Resnick, R. Zeckhauser, E. Friedman, and K. Kuwabara. Reputation systems. Communications of the ACM, 43(12):45-48, Dec. 2000.
25. M. Roger and J. Goubault-Larrecq. Log auditing through model-checking. In Proceedings from the 14th IEEE Computer Security Foundations Workshop (CSFW'01), pages 220-236. IEEE Computer Society Press, 2001.
26. F. B. Schneider. Enforceable security policies. Journal of the ACM, 3(1):30-50, 2000.
27. V. Shmatikov and C. Talcott. Reputation-based trust management. Journal of Computer Security, 13(1):167-190, 2005.
28. A. P. Sistla and E. M. Clarke. The complexity of propositional linear temporal logics. Journal of the ACM, 32(3):733-749, 1985.
29. C. Skalka and S. Smith. History effects and verification. In Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, pages 107-128. Springer, 2005.
30. G. Winskel and M. Nielsen. Models for concurrency. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 4, pages 1-148. Oxford University Press, 1995.