论文信息 - Intrusion detection system episteme

Intrusion detection system episteme

In our paper we investigate the possibilities of modal logics in coalgebras of program systems. We deal with a simplified model of an intrusion detection system. We model an intrusion detection system as a coalgebra and construct its Kripke model of coalgebraic modal linear logic using powerset endofunctor. In this model we present our idea how a fragment of epistemic linear logic can provide knowledge and belief of intrusion attempt.

Valerie Novitzká | Daniel Mihályi | Martina Lalová

[1] C. Schubert. Topo-Bisimulations are Coalgebraic , 2010 .

[2] Viliam Slodicák,et al. Some New Approaches in Functional Programming Using Algebras and Coalgebras , 2011, Electron. Notes Theor. Comput. Sci..

[3] Viliam Slodičák. Some useful structures for categorical approach for program behavior , 2010 .

[4] H. Gumm. Functors for Coalgebras , 2001 .

[5] Frans Voorbraak,et al. Generalized Kripke Models for Epistemic Logic , 1991, TARK.

[6] Y. Moses. Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge , 1992 .

[7] Lawrence S. Moss,et al. Coalgebraic Logic , 1999, Ann. Pure Appl. Log..

[8] Morteza Saberi,et al. An Integrated Intelligent Neuro-Fuzzy Algorithm for Long-Term Electricity Consumption: Cases of Selected EU Countries , 2010 .

[9] Alexander Kurz,et al. Coalgebras and Modal Logic , 1998 .

[10] Jean Gallier,et al. Ann. Pure Appl. Logic , 1997 .

[11] Valerie Novitzká,et al. A Coalgebra as an Intrusion Detection System , 2010 .

[12] Moshe Y. Vardi. Conference on Theoretical Aspects of Reasoning about Knowledge , 1990 .

[13] Norihiro Kamide,et al. Linear and affine logics with temporal, spatial and epistemic operators , 2006, Theor. Comput. Sci..