Unwinding conditions have been fruitfully exploited in Information Flow Security to define persistent security properties. In this paper we investigate their meaning and possible uses in the analysis of biological systems. In particular, we elaborate on the notion of robustness and propose some instances of unwinding over the process algebra Bio-PEPA and over hybrid automata. We exploit such instances to analyse two case-studies: Neurospora crassa circadian system and Influenza kinetics models. © 2015 Elsevier B.V.
Unwinding biological systems
Casagrande, Alberto;PIAZZA, Carla
2015-01-01
Abstract
Unwinding conditions have been fruitfully exploited in Information Flow Security to define persistent security properties. In this paper we investigate their meaning and possible uses in the analysis of biological systems. In particular, we elaborate on the notion of robustness and propose some instances of unwinding over the process algebra Bio-PEPA and over hybrid automata. We exploit such instances to analyse two case-studies: Neurospora crassa circadian system and Influenza kinetics models. © 2015 Elsevier B.V.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
unwinding.pdf
accesso aperto
Descrizione: Pre-print
Tipologia:
Documento in Pre-print
Licenza:
Creative commons
Dimensione
521.69 kB
Formato
Adobe PDF
|
521.69 kB | Adobe PDF | Visualizza/Apri |
|
1-s2.0-S0304397515002212-main.pdf
solo utenti autorizzati
Descrizione: Versione editoriale
Tipologia:
Versione Editoriale (PDF)
Licenza:
Non pubblico
Dimensione
1.05 MB
Formato
Adobe PDF
|
1.05 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
