Diagnosability of Nested Intruders

Damas Gruska

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

430 downloads

Cite: BibTeX Plain Text

@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 Gruska¹^,*

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.

Keywords: information flow opacity nested attackers diagnosability

Published: 2012-10-18

: http://dx.doi.org/10.1007/978-3-642-32615-8_12

Diagnosability of Nested Intruders

Abstract

About EAI

Community

Publish with EAI