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.
Titolo: | Unwinding biological systems |
Autori: | |
Data di pubblicazione: | 2015 |
Rivista: | |
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. |
Handle: | http://hdl.handle.net/11368/2841060 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1016/j.tcs.2015.02.045 |
Appare nelle tipologie: | 1.1 Articolo in Rivista |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
main.pdf | Post-print version | Bozza finale post-referaggio (post-print) | ![]() | Open Access Visualizza/Apri |
TCS2015.pdf | pdf editoriale | Documento in Versione Editoriale | Digital Rights Management non definito | Administrator Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.