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.
Publié le : 2014-06-03
Classification:
coalgebra, epistemic logic, linear logic, Kripke model,
18B05, 03B42, 03B43
@article{cai731,
author = {Daniel Mih\'alyi; Technical University of Ko\v sice and Valerie Novitzk\'a; Technical University of Ko\v sice},
title = {Towards the Knowledge in Coalgebraic Model of IDS},
journal = {Computing and Informatics},
volume = {33},
number = {1},
year = {2014},
language = {en},
url = {http://dml.mathdoc.fr/item/cai731}
}
Daniel Mihályi; Technical University of Košice; Valerie Novitzká; Technical University of Košice. Towards the Knowledge in Coalgebraic Model of IDS. Computing and Informatics, Tome 33 (2014) no. 1, . http://gdmltest.u-ga.fr/item/cai731/