CNR Institutional Research Information System

SANTINI, FRANCESCO

SANTINI, FRANCESCO  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autore(i) File
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
An Asymmetric Fingerprint Matching Algorithm for Java Card 1-gen-2006 Bistarelli, S; Santini, F; Vaccarelli, A