SANTINI, FRANCESCO
SANTINI, FRANCESCO
A multi-criteria ranking of security countermeasures
2016 Nostro N.; Matteucci I.; Ceccarelli A.; Santini F.; Di Giandomenico F.; Martinelli F.; Bondavalli A.
Network Security Supported by Arguments
2015 F. Martinelli; F. Santini; A. Yautsiukhin
Quantitative Analysis of Network Security with Abstract Argumentation
2015 Francesco Santini; Artsiom Yautsiukhin
Semiring-base Specification Approaches for Quantitative Security
2015 Martinelli, Fabio; Matteucci, Ilaria; Santini, Francesco
Semiring-based Specification Approaches for Quantitative Security
2015 F. Martinelli; I. Matteucci; F. Santini
There are two sides to every question: Controller versus attacker
2015 Martinelli, F; Matteucci, I; Santini, F
Improving Role-based Access to Android Applications with JCHR
2014 Stefano Bistarelli; Gianpiero Costantino; Fabio Martinelli; Francesco Santini
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints
2010 Bistarelli, S; Martinelli, F; Santini, F
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints
2010 Bistarelli, S; Martinelli, F; Santini, F
Deduction and Abduction with Soft Constraints
2010 Bistarelli, S; Martinelli, F; Santini, F
Solving Weighted Argumentation Frameworks with Soft Constraints
2009 Bistarelli, S; Pirolandi, D; Santini, F
A Formal and Practical Framework for Constraint-Based Routing
2008 Bistarelli S.; Santini F.
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
2008 Bistarelli S.; Santini F.
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily
2008 Bistarelli, S; Martinelli, F; Santini, F
From Marriages to Coalitions: A Soft CSP Approach
2008 S. Bistarelli; S.Foley; B. O'Sullivan; F. Santini
Propagating multitrust within trust networks
2008 Bistarelli, S; Santini, F
SCLP for Trust Propagation in Small-World Networks
2008 Bistarelli, S; Santini, F
Timed Soft Concurrent Constraint Programs
2008 Bistarelli, S; Santini, F; Gabbrielli, M; Meo, Mc
Weighted Datalog and Levels of Trust
2008 Bistarelli, S; Martinelli, F; Santini, F
An Asymmetric Fingerprint Matching Algorithm for Java Card
2006 Bistarelli, S; Santini, F; Vaccarelli, A