SANTINI, FRANCESCO
SANTINI, FRANCESCO
Istituto di informatica e telematica - IIT
Empowering Public Interest Communication with Argumentation - Project Overview (Extended Abstract)
2024 Baroni, Pietro; Bistarelli, Stefano; Fazzinga, Bettina; Fellin, Giulio; Flesca, Sergio; Furfaro, Filippo; Giacomin, Massimiliano; Parisi, Francesco; Proietti, Carlo; Russo, Irene; Santini, Francesco; Taticchi, Carlo; Vernillo, Paola
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Empowering Public Interest Communication with Argumentation - Project Overview (Extended Abstract) | 1-gen-2024 | Baroni, Pietro; Bistarelli, Stefano; Fazzinga, Bettina; Fellin, Giulio; Flesca, Sergio; Furfaro, Filippo; Giacomin, Massimiliano; Parisi, Francesco; Proietti, Carlo; Russo, Irene; Santini, Francesco; Taticchi, Carlo; Vernillo, Paola | |
| A multi-criteria ranking of security countermeasures | 1-gen-2016 | Nostro N.; Matteucci I.; Ceccarelli A.; Santini F.; Di Giandomenico F.; Martinelli F.; Bondavalli A. | |
| Network Security Supported by Arguments | 1-gen-2015 | F. Martinelli; F. Santini; A. Yautsiukhin | |
| Quantitative Analysis of Network Security with Abstract Argumentation | 1-gen-2015 | Francesco Santini; Artsiom Yautsiukhin | |
| Semiring-base Specification Approaches for Quantitative Security | 1-gen-2015 | Martinelli, Fabio; Matteucci, Ilaria; Santini, Francesco | |
| Semiring-based Specification Approaches for Quantitative Security | 1-gen-2015 | F. Martinelli; I. Matteucci; F. Santini | |
| There are two sides to every question: Controller versus attacker | 1-gen-2015 | Martinelli, F; Matteucci, I; Santini, F | |
| Improving Role-based Access to Android Applications with JCHR | 1-gen-2014 | Stefano Bistarelli; Gianpiero Costantino; Fabio Martinelli; Francesco Santini | |
| A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints | 1-gen-2010 | Bistarelli, S; Martinelli, F; Santini, F | |
| A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints | 1-gen-2010 | Bistarelli, S; Martinelli, F; Santini, F | |
| Deduction and Abduction with Soft Constraints | 1-gen-2010 | Bistarelli, S; Martinelli, F; Santini, F | |
| Solving Weighted Argumentation Frameworks with Soft Constraints | 1-gen-2009 | Bistarelli, S; Pirolandi, D; Santini, F | |
| A Formal and Practical Framework for Constraint-Based Routing | 1-gen-2008 | Bistarelli S.; Santini F. | |
| A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation | 1-gen-2008 | Bistarelli S.; Santini F. | |
| A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily | 1-gen-2008 | Bistarelli, S; Martinelli, F; Santini, F | |
| From Marriages to Coalitions: A Soft CSP Approach | 1-gen-2008 | S. Bistarelli; S.Foley; B. O'Sullivan; F. Santini | |
| Propagating multitrust within trust networks | 1-gen-2008 | Bistarelli, S; Santini, F | |
| SCLP for Trust Propagation in Small-World Networks | 1-gen-2008 | Bistarelli, S; Santini, F | |
| Timed Soft Concurrent Constraint Programs | 1-gen-2008 | Bistarelli, S; Santini, F; Gabbrielli, M; Meo, Mc | |
| Weighted Datalog and Levels of Trust | 1-gen-2008 | Bistarelli, S; Martinelli, F; Santini, F |