A formal framework for trust policy negotiation in autonomic systems: Abduction with soft constraints

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

Volumn 6407 LNCS, Issue , 2010, Pages 268-282

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

^a UNIVERSITY OF PERUGIA   (Italy)

^b CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL POLICIES; AUTONOMIC SYSTEMS; FORMAL FRAMEWORK; LOGICAL CONSEQUENCES; LOGICAL REASONING; NEGOTIATION PROCESS; RUNNING APPLICATIONS; SOFT CONSTRAINT; TRUST POLICIES;

CONSTRAINT THEORY; FORMAL LOGIC; PETROLEUM REFINING; ACCESS CONTROL; TRUSTED COMPUTING;

ACCESS CONTROL; CONSTRAINT THEORY;

EID: 78649923058     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16576-4_20     Document Type: Conference Paper

References (24)

1. Biso, A., Rossi, F., Sperduti, A.: Experimental results on learning soft constraints. In: KR, pp. 435-444 (2000)
2. Bistarelli, S.: Semirings for Soft Constraint Solving and Programming. LNCS, vol. 2962. Springer, Heidelberg (2004)
3. Bistarelli, S., Frühwirth, T., Marte, M.: Soft constraint propagation and solving in CHRs. In: SAC 2002: Proc. of the ACM Symposium on Applied Computing, pp. 1-5. ACM Press, New York (2002)
4. Bistarelli, S., Gadducci, F.: Enhancing constraints manipulation in semiring-based formalisms. In: ECAI 2006: European Conference on Artificial Intelligence, pp. 63-67 (2006)
5. Bistarelli, S., Martinelli, F., Santini, F.: A semantic foundation for trust management languages with weights: An application to the RT family. In: Rong, C., Jaatun, M.G., Sandnes, F.E., Yang, L.T., Ma, J. (eds.) ATC 2008. LNCS, vol. 5060, pp. 481-495. Springer, Heidelberg (2008)
6. Bistarelli, S., Martinelli, F., Santini, F.: Weighted datalog and levels of trust. In: ARES: Conference on Availability, Reliability and Security, pp. 1128-1134. IEEE Computer Society, Los Alamitos (2008)
7. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201-236 (1997)
8. Bessière, C., Coletta, R., Petit, T.: Learning implied global constraints. In: IJCAI 2007: Proc. of the International Joint Conference on Artificial Intelligence, pp. 44-49 (2007)
9. Christiansen, H., Dahl, V.: Hyprolog: A new logic programming language with assumptions and abduction. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 159-173. Springer, Heidelberg (2005)
10. Codognet, C., Codognet, P.: Abduction and concurrent logic languages. In: ECAI 1994: European Conference on Artificial Intelligence, pp. 75-79. John Wiley and Sons, Chichester (1994)
11. Freuder, E.C., Likitvivatanavong, C., Moretti, M., Rossi, F., Wallace, R.J.: Computing explanations and implications in preference-based configurators. In: O'Sullivan, B. (ed.) CologNet 2002. LNCS (LNAI), vol. 2627, pp. 76-92. Springer, Heidelberg (2003)
12. Frühwirth, T.W.: Constraint handling rules. In: Selected Papers from Constraint Programming, London, UK, pp. 90-107. Springer, Heidelberg (1995)
13. Jøsang, A., Ismail, R., Boyd, C.: A survey of trust and reputation systems for online service provision. Decis. Support Syst. 43(2), 618-644 (2007)
14. Kakas, A.C.: ACLP: Integrating abduction and constraint solving. CoRR, cs.AI/0003020 (2000)
15. Koshutanski, H., Massacci, F.: A negotiation scheme for access rights establishment in autonomic communication. J. Network Syst. Manage. 15(1), 117-136 (2007)
16. Li, N., Mitchell, J.C., Winsborough, W.H.: Design of a role-based trust-management framework. In: SP 2002: Proc. of Security and Privacy, pp. 114-130. IEEE Computer Society, Los Alamitos (2002)
17. Maher, M.J.: Abduction of linear arithmetic constraints. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 174-188. Springer, Heidelberg (2005)
18. Maher, M.J., Huang, G.: On computing constraint abduction answers. In: Cervesato, I., Veith, H., Voronkov, A. (eds.) LPAR 2008. LNCS (LNAI), vol. 5330, pp. 421-435. Springer, Heidelberg (2008)
19. Menzies, T.: Applications of abduction: knowledge-level modelling. Int. J. Hum.Comput. Stud. 45(3), 305-335 (1996)
20. Pople, H.E.: On the mechanization of abductive logic. In: IJCAI 1973: Proc. of the International Joint Conference on Artificial Intelligence, pp. 147-152. Morgan Kaufmann, San Francisco (1973)
21. Ribeiro, C., Zuquete, A., Ferreira, P., Guedes, P.: Security policy consistency. CoRR, cs.LO/0006045 (2000)
22. Shanahan, M.: Prediction is deduction but explanation is abduction. In: IJCAI 1989: Proc. of the International Joint Conference on Artificial Intelligence, pp. 1055-1060 (1989)
23. Vu, X., O'Sullivan, B.: Semiring-based constraint acquisition. In: IEEE International Conference on Tools with Artificial Intelligence, vol. 1, pp. 251-258 (2007)
24. Wielemaker, J.: An overview of the SWI-Prolog programming environment. In: Proc. of the 13th International Workshop on Logic Programming Environments, pp. 1-16. Katholieke Universiteit Leuven, Heverlee (2003)