Publications

of Francesco Santini

Articles in journal, book chapters

  1. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Computers & Mathematics with Applications, (0):-, 2012. ISSN: 0898-1221. [WWW] [doi:10.1016/j.camwa.2011.12.017] Keyword(s): abduction, applications.
  2. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Computers & Mathematics with Applications, 64(4):447-462, 2012.
  3. Stefano Bistarelli, Fabio Martinelli, Francesco Roperti, and Francesco Santini. Negotiation of Weighted RTML Credentials on Mobile Devices. In Marco De Marco, Dov Te'eni, Valentina Albano, and Stefano Za, editors, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, pages 429-438. Physica-Verlag HD, 2012. ISBN: 978-3-7908-2788-0. [WWW] [doi:10.1007/978-3-7908-2789-7_47]
  4. S. Bistarelli, F. Martinelli, and F. Santini. A formal framework for trust policy negotiation in autonomic systems: abduction with soft constraints. Autonomic and Trusted Computing, pp 268-282, 2010.
  5. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A formal framework for trust policy negotiation in autonomic systems: abduction with soft constraints. In Autonomic and Trusted Computing, pages 268-282. Springer, 2010.

Conference articles

  1. Francesco Santini. Argument-based constraint logic-programming in satisfiability modulo CHR. In 12th International Workshop on Argumentation in Multi-Agent Systems. Informal Proceedings, 2015. [PDF]
  2. Stefano Bistarelli, Gianpiero Costantino, Fabio Martinelli, and Francesco Santini. An Improved Role-Based Access to Android Applications with JCHR. In Proceedings of the 2014 Ninth International Conference on Availability, Reliability and Security, ARES '14, Washington, DC, USA, pages 341-348, 2014. IEEE Computer Society. ISBN: 978-1-4799-4223-7. [WWW] [doi:10.1109/ARES.2014.52]
  3. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A formal framework for trust policy negotiation in autonomic systems: abduction with soft constraints. In Proceedings of the 7th international conference on Autonomic and trusted computing, ATC'10, Berlin, Heidelberg, pages 268-282, 2010. Springer-Verlag. ISBN: 3-642-16575-3, 978-3-642-16575-7. [WWW] Keyword(s): abduction.

BACK TO INDEX