Using data-independence in the analysis of intrusion detection systems

DOI10.1016/J.TCS.2005.03.004zbMath1142.68446OpenAlexW2025720030MaRDI QIDQ557891

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

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

Uses Software

• FDR2
• Snort

Cites Work

• Unnamed Item

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