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

Authors:
Roberto Barbuti;Andrea Maggiolo-Schettini;Paolo Milazzo;Damas P. Gruska
Affiliations:
(Correspd.) Dipartimento di Informatica, Università di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy. {barbuti, maggiolo, milazzo} @di.unipi.it;Dipartimento di Informatica, Università di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy. {barbuti, maggiolo, milazzo} @di.unipi.it;Dipartimento di Informatica, Università di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy. {barbuti, maggiolo, milazzo} @di.unipi.it;Institute of Informatics, Comenius University, Mlynska dolina, 842 48 Bratislava, Slovakia. gruska@fmph.uniba.sk
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Year:
2010

Citing 13
Cited 1

Automata on infinite objects

Handbook of theoretical computer science (vol. B)
&ohgr;-languages

Handbook of formal languages, vol. 3
Membrane Computing: An Introduction

Membrane Computing: An Introduction
A guide to membrane computing

Theoretical Computer Science - Natural computing
P systems with minimal parallelism

Theoretical Computer Science
Compositional semantics and behavioral equivalences for P Systems

Theoretical Computer Science
Opacity generalised to transition systems

International Journal of Information Security
A P Systems Flat Form Preserving Step-by-step Behaviour

Fundamenta Informaticae
Visibility: a novel concept for characterising provable network digital evidences

International Journal of Security and Networks
Modelling Opacity Using Petri Nets

Electronic Notes in Theoretical Computer Science (ENTCS)
Rule formats for non interference

ESOP'03 Proceedings of the 12th European conference on Programming
A modeling approach based on p systems with bounded parallelism

WMC'06 Proceedings of the 7th international conference on Membrane Computing
Asynchronous p systems and p systems working in the sequential mode

WMC'04 Proceedings of the 5th international conference on Membrane Computing

Informational Analysis of Security and Integrity

Fundamenta Informaticae - Concurrency Specification and Programming CS&P

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.