A novel algorithm for intrusion detection based on RASL model checking

DOI10.1155/2013/621203MaRDI QIDQ474447zbMATH OpenOpenAlexWikidataFDO

Authors Qinglei Zhou, Weidong Yang, Wei-jun Zhu, Hai-Bin Zhang

Publication date 24 November 2014

Published in Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1155/2013/621203

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Model checking real-time systems within unified approach of timed interval temporal logic
• An in-depth investigation of interval temporal logic model checking with regular expressions
• Computer Aided Verification
• An adaptive intrusion detection algorithm based on rough sets

Cites work

• A calculus of durations
• A decision procedure for propositional projection temporal logic with infinite models
• An efficient hybrid/mixed element for geometrically nonlinear analysis of plate and shell structures
• Complexity of propositional projection temporal logic with star
• Computer Aided Verification
• Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
• \(Mexitl\): Multimedia in executable interval temporal logic

Cited in

(2)

• Study on intrusion detection alerts analysis system based on LRE algorithm
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

Describes a project that uses

Uses Software

• Orchids

This page was built for publication: A novel algorithm for intrusion detection based on RASL model checking

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