BONATTI, PIERO ANDREA
BONATTI, PIERO ANDREA
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Policy-driven negotiations and explanations: exploiting logic-programming for trust management, privacy & security
2008 Bonatti, PIERO ANDREA; J., de Coi; D., Olmedilla; Sauro, Luigi
Declarative Foundations of Secure Deductive Databases
1992 Bonatti, PIERO ANDREA
Model Theoretic Semantics for Demo
1992 Bonatti, PIERO ANDREA
A Three-Valued Formalization of Provability
1995 Bonatti, PIERO ANDREA
An algebra for composing access control policies
2002 Bonatti, PIERO ANDREA; DE CAPITANI DI VIMERCATI, S.; Samarati, P.
A Uniform Framework for Regulating Service Access and Information Release on the Web
2002 Bonatti, PIERO ANDREA; Samarati, P.
Sequent calculi for propositional nonmonotonic logics
2002 Bonatti, PIERO ANDREA; Olivetti, N.
TRBAC: A Temporal Role-based Access Control Model
2001 Bertino, E; Bonatti, PIERO ANDREA; Ferrari, E.
Temporal authorization bases: from specification to integration
2000 Bertino, E; Bonatti, PIERO ANDREA; Ferrari, E; Sapino, M. L.
Autoepistemic Logic Programming
1994 Bonatti, PIERO ANDREA
Regulating Service Access and Information Release on the Web
2000 Bonatti, PIERO ANDREA; Samarati, P.
Reasoning with open logic programs
2001 Bonatti, PIERO ANDREA
TRBAC: A Temporal Role-based Access Control Model
2000 Bertino, E; Bonatti, PIERO ANDREA; Ferrari, E.
Beliefs as Stable Conjectures
1991 Bonatti, PIERO ANDREA
Undecidability results for description logics with recursion and counting
2003 Bonatti, PIERO ANDREA
Defeasible inclusions in low-complexity DLs: preliminary notes
2009 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
Policy based protection and personalized generation of web content
2009 Bonatti, PIERO ANDREA; J., de Coi; D., Olmedilla; Sauro, Luigi
Rule-based policy representations and reasoning
2009 Bonatti, PIERO ANDREA; J., De Coi; D., Olmedilla; Sauro, Luigi
The complexity of circumscription in DLs
2009 Bonatti, PIERO ANDREA; C., Lutz; F., Wolter
On the undecidability of logics with nominals, recursion and counting
2004 Bonatti, PIERO ANDREA; Peron, Adriano
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Policy-driven negotiations and explanations: exploiting logic-programming for trust management, privacy & security | 2.1 Contributo in volume (Capitolo o Saggio) | 2008 | Bonatti, PIERO ANDREA; J., de Coi; D., Olmedilla; Sauro, Luigi | |
| Declarative Foundations of Secure Deductive Databases | 2.1 Contributo in volume (Capitolo o Saggio) | 1992 | Bonatti, PIERO ANDREA | |
| Model Theoretic Semantics for Demo | 2.1 Contributo in volume (Capitolo o Saggio) | 1992 | Bonatti, PIERO ANDREA | |
| A Three-Valued Formalization of Provability | 1.1 Articolo in rivista | 1995 | Bonatti, PIERO ANDREA | |
| An algebra for composing access control policies | 1.1 Articolo in rivista | 2002 | Bonatti, PIERO ANDREA; DE CAPITANI DI VIMERCATI, S.; Samarati, P. | |
| A Uniform Framework for Regulating Service Access and Information Release on the Web | 1.1 Articolo in rivista | 2002 | Bonatti, PIERO ANDREA; Samarati, P. | |
| Sequent calculi for propositional nonmonotonic logics | 1.1 Articolo in rivista | 2002 | Bonatti, PIERO ANDREA; Olivetti, N. | |
| TRBAC: A Temporal Role-based Access Control Model | 1.1 Articolo in rivista | 2001 | Bertino, E; Bonatti, PIERO ANDREA; Ferrari, E. | |
| Temporal authorization bases: from specification to integration | 1.1 Articolo in rivista | 2000 | Bertino, E; Bonatti, PIERO ANDREA; Ferrari, E; Sapino, M. L. | |
| Autoepistemic Logic Programming | 1.1 Articolo in rivista | 1994 | Bonatti, PIERO ANDREA | |
| Regulating Service Access and Information Release on the Web | 2.1 Contributo in volume (Capitolo o Saggio) | 2000 | Bonatti, PIERO ANDREA; Samarati, P. | |
| Reasoning with open logic programs | 2.1 Contributo in volume (Capitolo o Saggio) | 2001 | Bonatti, PIERO ANDREA | |
| TRBAC: A Temporal Role-based Access Control Model | 2.1 Contributo in volume (Capitolo o Saggio) | 2000 | Bertino, E; Bonatti, PIERO ANDREA; Ferrari, E. | |
| Beliefs as Stable Conjectures | 2.1 Contributo in volume (Capitolo o Saggio) | 1991 | Bonatti, PIERO ANDREA | |
| Undecidability results for description logics with recursion and counting | 2.1 Contributo in volume (Capitolo o Saggio) | 2003 | Bonatti, PIERO ANDREA | |
| Defeasible inclusions in low-complexity DLs: preliminary notes | 2.1 Contributo in volume (Capitolo o Saggio) | 2009 | Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi | |
| Policy based protection and personalized generation of web content | 2.1 Contributo in volume (Capitolo o Saggio) | 2009 | Bonatti, PIERO ANDREA; J., de Coi; D., Olmedilla; Sauro, Luigi | |
| Rule-based policy representations and reasoning | 2.1 Contributo in volume (Capitolo o Saggio) | 2009 | Bonatti, PIERO ANDREA; J., De Coi; D., Olmedilla; Sauro, Luigi | |
| The complexity of circumscription in DLs | 1.1 Articolo in rivista | 2009 | Bonatti, PIERO ANDREA; C., Lutz; F., Wolter | |
| On the undecidability of logics with nominals, recursion and counting | 1.1 Articolo in rivista | 2004 | Bonatti, PIERO ANDREA; Peron, Adriano |