Weighted Datalog and levels of trust

ARES 2008 - 3rd International Conference on Availability, Security, and Reliability, Proceedings

Volumn , Issue , 2008, Pages 1128-1134

  Bistarelli, Stefano ^a,b   Martinelli, Fabio ^b   Santini, Francesco ^b,c  

^a UNIVERSITY OF CHIETI   (Italy)

^b Istituto di Informatica e Telematica   (Italy)

^c IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA LOGS; INTERNATIONAL CONFERENCES;

EID: 49049108917     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2008.197     Document Type: Conference Paper

References (21)

1. S. Bistarelli. Semirings for Soft Constraint Solving and Programming, volume 2962 of Lecture Notes in Computer Science. Springer, 2004.
2. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based constraint solving and optimization. Journal of the ACM, 44(2):201-236, 1997.
3. S. Bistarelli, U. Montanari, and F. Rossi. Soft concurrent constraint programming. ACM Trans. Comput. Logic, 7(3):563-589, 2006.
4. S. Bistarelli and F. Rossi. Semiring-based constraint logic programming: syntax and semantics. ACM Trans. Program. Lang. Syst., 23(1): 1-29, 2001.
5. M. Blaze, J. Feigenbaum, J. Ioannidis, and A. Keromytis. The keynote trust-management system, rfc2704, 1999.
6. M. Blaze, J. Feigenbaum, and J. Lacy. Decentralized trust management. In SP '96: Proc. of Security and Privacy, page 164. IEEE Computer Society, 1996.
7. P. Bonatti, C. Duma, D. Olmedilla, and N. Shahmehri. An integration of reputation-based and policy-based trust management. In Semantic Web Policy Workshop, 2005.
8. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López- García, and G. Puebla. The CIAO prolog system: reference manual. Technical Report CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), 1997.
9. S. Chakraborty and I. Ray. Trustbac: integrating trust relationships into the rbac model for access control in open systems. In SACMAT '06: Proc. of Access control models and technologies, pages 49-58. ACM, 2006.
10. D. Clarke, J.-E. Elien, C. Ellison, M. Fredette, A. Morcos, and R. L. Rivest. Certificate chain discovery in SPKI/SDSI. J. Comput. Secur., 9(4):285-322, 2001.
11. D. A. Cohen, M. C. Cooper, P. G. Jeavons, and A. A. Krokhin. The complexity of soft constraint satisfaction. Artif. Intell., 170(11):983-1016, 2006.
12. M. Colombo, F. Martinelli, P. Mori, M. Petrocchi, and A. Vaccarelli. Fine grained access control with trust and reputation management for globus. In OTM Conferences (2), pages 1505-1515, 2007.
13. A. Jøsang, R. Ismail, and C. Boyd. A survey of trust and reputation systems for online service provision. Decis. Support Syst., 43(2):618-644, 2007.
14. N. Li, B. N. Grosof, and J. Feigenbaum. Delegation logic: A logic-based approach to distributed authorization. ACM Trans. Inf. Syst. Secur., 6(1):128-171, 2003.
15. N. Li and J. C. Mitchell. Datalog with constraints: A foundation for trust management languages. In PADL '03: Proc. of Practical Aspects of Declarative Languages, pages 58-73. Springer-Verlag, 2003.
16. N. Li, J. C. Mitchell, and W. H. Winsborough. Design of a role-based trust-management framework. In SP '02: Proc. of Security and Privacy, page 114. IEEE Computer Society, 2002.
17. F. Martinelli and M. Petrocchi. A uniform approach for the modeling of security and trust on protocols and services. In ICS '06: International Workshop on Computer Security, 2006.
18. L. Rasmusson and S. Jansson. Simulated social control for secure internet commerce. In NSPW '96: Proc. of New security paradigms, pages 18-25. ACM, 1996.
19. R. S. Sandhu, E. J. Coyne, H. L. Feinstein, and C. E. Youman. Role-based access control models. Computer, 29(2):38-47, 1996.
20. T. Stüber and H. Vogler. Weighted monadic datalog. In Workshop on Theorietag Automaten und Formale Sprachen, pages 126-130. Informal Proc., 2007.
21. G. Theodorakopoulos and J. S. Baras. Trust evaluation in ad-hoc networks. In WiSe '04: Workshop of Wireless security, pages 1-10. ACM, 2004.