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.
Unwinding biological systems
CASAGRANDE, ALBERTO;
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
main.pdf
Open Access dal 20/03/2017
Descrizione: Post-print version
Tipologia:
Bozza finale post-referaggio (post-print)
Licenza:
Creative commons
Dimensione
577.62 kB
Formato
Adobe PDF
|
577.62 kB | Adobe PDF | Visualizza/Apri |
|
TCS2015.pdf
Accesso chiuso
Descrizione: pdf editoriale
Tipologia:
Documento in Versione Editoriale
Licenza:
Digital Rights Management non definito
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.
