Using data-independence in the analysis of intrusion detection systems

DOI10.1016/J.TCS.2005.03.004MaRDI QIDQ557891zbMATH OpenOpenAlexFDO

Authors Gordon Thomas Rohrmair, Gavin Lowe

Publication date 30 June 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:ee2e446d-af6b-4539-8dd4-b43b663d93d7

zbMATH Keywords

Model checkingCommunicating Sequential ProcessesData independenceDesynchronisation attacksIntrusion detection

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Recommendations

• Towards a theory of intrusion detection
• On a probabilistic model of intrusion detection
• Intrusion and intrusion detection
• scientific article; zbMATH DE number 1952744
• scientific article; zbMATH DE number 2080972

Cited in

(8)

• scientific article; zbMATH DE number 3793928 (Why is no real title available?)
• A log analyzing system for Linux LASL
• Data-flow dependency-based trusted recovery method
• scientific article; zbMATH DE number 2080964 (Why is no real title available?)
• scientific article; zbMATH DE number 1980968 (Why is no real title available?)
• Towards a theory of intrusion detection
• scientific article; zbMATH DE number 1690179 (Why is no real title available?)
• Towards an information-theoretic framework for analyzing intrusion detection systems

Describes a project that uses

Uses Software

• FDR2
• Snort

This page was built for publication: Using data-independence in the analysis of intrusion detection systems

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