BODEI, CHIARA Statistiche

BODEI, CHIARA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 103 (tempo di esecuzione: 0.034 secondi).
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