A new Systematization of Knowledge (SoK) paper published on arXiv explores the critical assumptions underlying temporal reasoning in host-based intrusion detection systems. The research highlights that current systems often fail to explicitly state their assumptions about clocks, event delivery, and evidence integrity. By drawing on temporal databases, stream processing, and runtime verification, the paper proposes a framework with five components of a time model and a checklist of evidence assumptions to address these gaps. The analysis reveals that while some early systems acknowledged clock errors, current provenance-based detectors rarely state clock bounds or conditions for conclusion validity across delivery failures, leaving significant open challenges in temporal reasoning for cybersecurity. AI
RANK_REASON The cluster contains a research paper published on arXiv. [lever_c_demoted from research: ic=1 ai=0.4]
- alphaXiv
- arXiv
- CatalyzeX Code Finder for Papers
- DagsHub
- Gotit.pub
- Hugging Face
- Influence Flower
- knowledge representation and reasoning
- Runtime Verification
- ScienceCast
- stream processing
- Systematization of knowledge about the history of Ukraine in Wikipedia
- Temporal Databases
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →