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

DOI10.17512/JAMCM.2016.2.12OpenAlexW2464827375MaRDI QIDQ2201272FDOQ2201272

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

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

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
• Title not available (Why is that?)

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)