Bio-Inspired Models of Network, Information, and Computing Systems. 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers

Research Article

Diagnosability of Nested Intruders

Download
361 downloads
  • @INPROCEEDINGS{10.1007/978-3-642-32615-8_12,
        author={Damas Gruska},
        title={Diagnosability of Nested Intruders},
        proceedings={Bio-Inspired Models of Network, Information, and Computing Systems. 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers},
        proceedings_a={BIONETICS},
        year={2012},
        month={10},
        keywords={information flow opacity nested attackers diagnosability},
        doi={10.1007/978-3-642-32615-8_12}
    }
    
  • Damas Gruska
    Year: 2012
    Diagnosability of Nested Intruders
    BIONETICS
    Springer
    DOI: 10.1007/978-3-642-32615-8_12
Damas Gruska1,*
  • 1: Comenius University
*Contact email: gruska@fmph.uniba.sk

Abstract

Formalism for analyses of biological systems specified by process algebras is proposed. Biologically motivated it combines several security notions and approaches. It allows us to formalize such properties of biological systems as diagnosability, detection ability and a presence of biological intruders and pathological changes. Resulting properties can be viewed as complementary to security ones. Moreover, these corresponding security properties are generalizations of several traditional ones and can detect security holes otherwise undetected.