A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security

• Autorzy: Barbuti R. , Maggiolo-Schettini A. , Milazzo P. , Gruska D.P.
• Języki publikacji: EN

Abstrakty

EN

A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in the systems behavior and investigate when these changes could be diagnosed by an external observer by exploiting some techniques originally developed for reasoning on system security.

Słowa kluczowe

EN

P systems; security concepts; diagnostics of biological systems

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2010
• Tom: Vol. 102, nr 1
• Strony: 19--34
• Opis fizyczny: Bibliogr. 18 poz.

Twórcy

autor

Barbuti R.

autor

Maggiolo-Schettini A.

autor

Milazzo P.

autor

Gruska D.P.

• Dipartimento di Informatica, Universita di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy,

Bibliografia

• [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`erez Jim`enez: 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. Pˇaun, 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. Pˇaun, M.J. Pérez Jim`enez: 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. Pǎun. 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. Pǎun, 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.