Between syntax and semantics of resource oriented logic for IDS behavior description

DOI10.17512/JAMCM.2016.2.12OpenAlexW2464827375MaRDI QIDQ2201272FDOQ2201272

Authors: Ján Perháč, Daniel Mihályi, Valerie Novitzká 

Publication date: 28 September 2020

Published in: Journal of Applied Mathematics and Computational Mechanics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.17512/jamcm.2016.2.12

Recommendations

• Towards the knowledge in coalgebraic model of IDS
• scientific article; zbMATH DE number 1678395
• Linear logic in computer science
• Reasoning about resources and information: a linear logic approach
• Linear logic for nets with bounded resources

zbMATH Keywords

linear logicintrusion detection systemludicsKripke's semantics

Mathematics Subject Classification ID

Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Locus solum: From the rules of logic to the logic of rules.
• Specifying coalgebras with modal logic
• Linear logic in computer science
• Testing of IDS model using several intrusion detection tools
• Towards the knowledge in coalgebraic model of IDS

This page was built for publication: Between syntax and semantics of resource oriented logic for IDS behavior description

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2201272)