Abstract

In the last decades linear logic became a useful logical system for various usage in computer science. Its ability to handle resources and its competence to describe dynamics of processes predetermine it for describing behavior of programs and program systems. Linear logic can be apprehended as a multiplicative and additive extension of usual logic. We show the possibilities how these fragments can be enriched to describe behavior and to achieve knowledge on an example of simplified Intrusion Detection System (IDS). We construct Kripke model over a coalgebra of modal linear logic for pursuing observable behavior of IDS. Using the same Kripke frame we show how knowledge and belief in the terms of epistemic linear logic can be achieved.

Keywords

MSC

18B05, 03B42, 03B43

Cite this article

@article{cai-731,
  author  = {Daniel Mihalyi and Valerie Novitzka},
  title   = {Towards the Knowledge in Coalgebraic Model of IDS},
  journal = {Computing and Informatics},
  volume  = {33},
  number  = {1},
  pages   = {61--78},
  year    = {2014},
  issn    = {1335-9150},
  url     = {https://cai.type.sk/content/2014/1/towards-the-knowledge-in-coalgebraic-model-of-ids/}
}
Download .bib