BODEI, CHIARA Statistiche
BODEI, CHIARA
DIPARTIMENTO DI INFORMATICA
1839: la prima Riunione degli Scienziati Italiani Atti della giornata di studi tenuta a 180 anni di distanza
2020-01-01 Bodei, Chiara; Finelli, Pietro
A Control Flow Analysis for Beta-binders with and without Static Compartments
2009-01-01 Bodei, Chiara
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols
2007-01-01 H., Gao; Bodei, Chiara; Degano, Pierpaolo; H., RIIS NIELSON
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
2008-01-01 Han, Gao; Bodei, Chiara; Degano, Pierpaolo
A G-Local pi-calculus
2011-01-01 Bodei, Chiara; Ferrari, GIAN-LUIGI; Dinh, V. D.
A Static Analysis for Beta-Binders
2008-01-01 Bodei, Chiara
A Taxonomy of Causality-Based Biological Properties
2010-01-01 Bodei, Chiara; Bracciali, A; Chiarugi, D; Gori, Roberta
A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks
2007-01-01 Bodei, Chiara; Bracciali, A; Chiarugi, D.
Algoritmi ricorsivi da lavorare ai ferri
2009-01-01 Bernasconi, Anna; Bodei, Chiara; Pagli, Linda
An Analysis for Causal Properties of Membrane Interactions
2013-01-01 Bodei, Chiara; Gori, Roberta; Levi, Francesca
Analysing the Provenance of IoT Data
2020-01-01 Bodei, Chiara; Galletta, Letterio
Authentication Primitives for Protocol Specifications
2003-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, R.; Priami, C.
Authentication Primitives for Refining Protocol Specifications
2002-01-01 Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado; Focardi, R.
Authentication Primitives for Secure Protocol Specifications
2005-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, R; Priami, C.
Authentication via Localized Names
1999-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, R.; Priami, Corrado
Automatic Validation of Protocol Narration
2003-01-01 Bodei, Chiara; M., Buchholtz; Degano, Pierpaolo; F., Nielson; H., RIIS NIELSON
Brane Calculi Systems: A Static Preview of their Possible Behaviour
2011-01-01 Bodei, Chiara; Brodo, L.
Causal static analysis for Brane Calculi
2015-01-01 Bodei, Chiara; Gori, Roberta; Levi, Francesca
Checking global usage of resources handled with local policies
2017-01-01 Bodei, Chiara; Dinh, ; Dung, Viet; Ferrari, GIAN-LUIGI
Checking Security Policies through an Enhanced Control Flow Analysis
2005-01-01 Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 1839: la prima Riunione degli Scienziati Italiani Atti della giornata di studi tenuta a 180 anni di distanza | 1-gen-2020 | Bodei, Chiara; Finelli, Pietro | |
| A Control Flow Analysis for Beta-binders with and without Static Compartments | 1-gen-2009 | Bodei, Chiara | |
| A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols | 1-gen-2007 | H., Gao; Bodei, Chiara; Degano, Pierpaolo; H., RIIS NIELSON | |
| A Formal Analysis of Complex Type Flaw Attacks on Security Protocols | 1-gen-2008 | Han, Gao; Bodei, Chiara; Degano, Pierpaolo | |
| A G-Local pi-calculus | 1-gen-2011 | Bodei, Chiara; Ferrari, GIAN-LUIGI; Dinh, V. D. | |
| A Static Analysis for Beta-Binders | 1-gen-2008 | Bodei, Chiara | |
| A Taxonomy of Causality-Based Biological Properties | 1-gen-2010 | Bodei, Chiara; Bracciali, A; Chiarugi, D; Gori, Roberta | |
| A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks | 1-gen-2007 | Bodei, Chiara; Bracciali, A; Chiarugi, D. | |
| Algoritmi ricorsivi da lavorare ai ferri | 1-gen-2009 | Bernasconi, Anna; Bodei, Chiara; Pagli, Linda | |
| An Analysis for Causal Properties of Membrane Interactions | 1-gen-2013 | Bodei, Chiara; Gori, Roberta; Levi, Francesca | |
| Analysing the Provenance of IoT Data | 1-gen-2020 | Bodei, Chiara; Galletta, Letterio | |
| Authentication Primitives for Protocol Specifications | 1-gen-2003 | Bodei, Chiara; Degano, Pierpaolo; Focardi, R.; Priami, C. | |
| Authentication Primitives for Refining Protocol Specifications | 1-gen-2002 | Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado; Focardi, R. | |
| Authentication Primitives for Secure Protocol Specifications | 1-gen-2005 | Bodei, Chiara; Degano, Pierpaolo; Focardi, R; Priami, C. | |
| Authentication via Localized Names | 1-gen-1999 | Bodei, Chiara; Degano, Pierpaolo; Focardi, R.; Priami, Corrado | |
| Automatic Validation of Protocol Narration | 1-gen-2003 | Bodei, Chiara; M., Buchholtz; Degano, Pierpaolo; F., Nielson; H., RIIS NIELSON | |
| Brane Calculi Systems: A Static Preview of their Possible Behaviour | 1-gen-2011 | Bodei, Chiara; Brodo, L. | |
| Causal static analysis for Brane Calculi | 1-gen-2015 | Bodei, Chiara; Gori, Roberta; Levi, Francesca | |
| Checking global usage of resources handled with local policies | 1-gen-2017 | Bodei, Chiara; Dinh, ; Dung, Viet; Ferrari, GIAN-LUIGI | |
| Checking Security Policies through an Enhanced Control Flow Analysis | 1-gen-2005 | Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado |