A novel algorithm for intrusion detection based on RASL model checking
From MaRDI portal
Publication:474447
DOI10.1155/2013/621203zbMath1299.68037OpenAlexW2004114991WikidataQ59031070 ScholiaQ59031070MaRDI QIDQ474447
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
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Uses Software
Cites Work
- A calculus of durations
- \(Mexitl\): Multimedia in executable interval temporal logic
- 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
- Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
- Computer Aided Verification