Towards the Knowledge in Coalgebraic Model of IDS

Authors

  • Daniel Mihályi Technical University of Košice
  • Valerie Novitzká Technical University of Košice

Keywords:

coalgebra, epistemic logic, linear logic, Kripke model

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 behaviour 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 behaviour 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 behaviour of IDS. Using the same Kripke frame we show how knowledge and belief in the terms of epistemic linear logic can be achieved.

Downloads

Download data is not yet available.

Author Biographies

Daniel Mihályi, Technical University of Košice

Assistant professor at Department of Computers and Informatics

Valerie Novitzká, Technical University of Košice

Full professor at Department of Computers and Informatics

Downloads

Published

2014-06-02

How to Cite

Mihályi, D., & Novitzká, V. (2014). Towards the Knowledge in Coalgebraic Model of IDS. Computing and Informatics, 33(1), 61–78. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/731