A notion of biological diagnosability inspired by the notion of opacity in systems security

Fundamenta Informaticae

Volumn 102, Issue 1, 2010, Pages 19-34

  Barbuti, Roberto ^a   Maggiolo Schettini, Andrea ^a   Milazzo, Paolo ^a   Gruska, Damas P ^b  

^a UNIVERSITY OF PISA   (Italy)

^b Faculty of Natural Sciences   (Slovakia)

Author keywords

[No Author keywords available]

Indexed keywords

DIAGNOSABILITY; EXTERNAL OBSERVER; FORMAL MODEL; P SYSTEMS; SYSTEM SECURITY; SYSTEMS SECURITY;

BIOLOGICAL SYSTEMS;

EID: 77957550152     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/FI-2010-294     Document Type: Article

References (18)

1. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, S. Tini: Compositional Semantics and Behavioral Equivalences for P Systems. Theoret. Comput. Sci. 395, 77-100, 2008.
2. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, S. Tini: A P systems flat form preserving step-by-step behaviour. Fundamenta Informaticae 87, 1-34, 2008.
3. F. Bernardini, F.J. Romero-Campero, M. Gheorghe, M.J. Pèrez Jimènez: A modelling approach based on P systems with bounded parallelism. Proc. of the 7th Workshop on Membrane Computing (WMC7), LNCS 4361, 49-65, Springer, 2006.
4. P. Bottoni, C. Martin-Víde, G. Paun, G. Rozemberg: Membrane systems with promoters/inhibitors. Acta Informatica 38, 695-720, 2002.
5. J. Bryans, M. Koutny, P. Ryan: Modelling opacity using Petri Nets. Proc. of the 2nd Int. Workshop on Security Issues with Petri Nets and other Computational Models (WISP'04), ENTCS 121, 101-115, 2004.
6. J. Bryans, M. Koutny, L. Mazaré, P. Ryan: Opacity generalised to transition systems. Int. J. Inf. Sec. 7, 421-435, 2008.
7. G. Ciobanu, L. Pan, G. Paun, M.J. Pérez Jimènez: P systems with minimal parallelism. Theoret. Comput. Sci. 378, 117-130, 2007.
8. R. Freund: Asynchronous P Systems and P Systems Working in the Sequential Mode. Proc. of the 5th Workshop on Membrane Computing (WMC5), LNCS 3365, 36-62, Springer, 2004.
9. J.A. Goguen, J. Meseguer: Security policies and security models. Proc. of IEEE Symposium on Security and Privacy, 1982.
10. G. Paun. Membrane computing. An introduction, Springer, 2002.
11. S. Rekhis, N.A. Boudriga. Visibility: A novel concept for characterising provable network digital evidences. International Journal of Security and Networks 4, 234-245, 2009.
12. G. Paun, G. Rozenberg. A guide to membrane computing. Theoret. Comput. Sci. 287, 73-100, 2002.
13. G. Plotkin. A Structural Approach to Operational Semantics. J. Log. Algebr. Program. 60-61, 17-139, 2004.
14. W. Reisig, G. Rozenberg. Lectures on Petri Nets, LNCS 1491 and 1492, Springer, 1998.
15. L. Staiger. ω-Languages. In G. Rozenberg and A. Salomaa eds, Handbook of Formal Languages, Volume 3, 339-387, Springer, 1997.
16. W. Thomas. Automata on Infinite Objects. In J. van Leeuwen ed., Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, 133-192, Elsevier, 1990.
17. S. Tini. Rule Formats for Non-Interference. Proc. of European Symposium on Programming (ESOP'03), LNCS 2618, 129-143, Springer, 2003.
18. S. Tini. Rule Formats for Compositional Non-Interference Properties. J. Log. Algebr. Program. 60-61, 353-400, 2004.