Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area

Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area

Dades bibliogràfiques
Autors principals:	Rohrmair, G, Lowe, G
Format:	Conference item
Publicat:	Springer 2002

Ítems similars

Using data−independence in the analysis of intrusion detection systems
per: Rohrmair, G, et al.
Publicat: (2005)

Using data-independence in the analysis of intrusion detection systems
per: Rohrmair, G, et al.
Publicat: (2005)

Using CSP to detect errors in the TMN protocol
per: Roscoe, A, et al.
Publicat: (1996)

Using CSP to Detect Errors in the TMN Protocol
per: Lowe, G, et al.
Publicat: (1997)

Detection and Recognition of Atomic Evasions Against Network Intrusion Detection/Prevention Systems
per: Jia Jingping, et al.
Publicat: (2019-01-01)

Analysing Security Protocols using CSP
per: Lowe, G
Publicat: (2011)

Using CSP to Verify Sequential Consistency
per: Lowe, G, et al.
Publicat: (1999)

Using CSP to Verify Sequential Consistency
per: Lowe, G, et al.
Publicat: (1999)

Extending CSP with tests for availability
per: Lowe, G
Publicat: (2009)

Extending CSP with tests for availability
per: Lowe, G
Publicat: (2009)

Models for CSP with availability information
per: Lowe, G
Publicat: (2010)

Probabilities and Priorities in Timed CSP
per: Lowe, G
Publicat: (1993)

Analyzing the effectiveness of snort network intrusion detection system (NIDS) against evasion techniques /
per: Bakhdlaghi, Yousef, et al.
Publicat: (2013)

Probabilistic and Prioritized Models of Timed CSP
per: Lowe, G
Publicat: (1995)

Counter abstraction in the CSP/FDR setting
per: Mazur, T, et al.
Publicat: (2009)

Counter Abstraction in the CSP/FDR setting
per: Mazur, T, et al.
Publicat: (2007)

Symmetry reduction in CSP model checking
per: Gibson-Robinson, T, et al.
Publicat: (2019)

Possibilities of using of hardware accelerators for intrusion detection and prevention systems
per: Artem Tetskyi, et al.
Publicat: (2024-11-01)

Model checking Timed CSP
per: Armstrong, P, et al.
Publicat: (2012)

Models for CSP with availability information
per: Gavin Lowe
Publicat: (2010-11-01)

Analyzing the effectiveness of snort network intrusion detection system (NIDS) against evasion techniques [electronic resource] /
per: 580397 Bakhdlaghi, Yousef
Publicat: (2013)

Implementing generalised alt - A case study in validated design using CSP
per: Lowe, G
Publicat: (2011)

CSP-based counter abstraction for systems with node identifiers
per: Mazur, T, et al.
Publicat: (2014)

CSP−based counter abstraction for systems with node identifiers
per: Mazur, T, et al.
Publicat: (2013)

Intrusion Detection Using Transformer in Controller Area Network
per: Hyunjun Jo, et al.
Publicat: (2024-01-01)

On CSP refinement tests that run multiple copies of a process
per: Lowe, G
Publicat: (2007)

Intrusion detection system for controller area network
per: Vinayak Tanksale
Publicat: (2024-02-01)

Ransomware: stages, detection and evasion
per: Yus Kamalrul, Mohamed Yunus, et al.
Publicat: (2022)

Using VProbes for intrusion detection
per: Dehnert, Alexander Worthington
Publicat: (2014)

On Lightweight Intrusion Detection: Modeling and Detecting Intrusions Dedicated to OLSR Protocol
per: Mouhannad Alattar, et al.
Publicat: (2013-06-01)

Detection of DoS attacks using intrusion detection sensors
per: Maarof, Mohd. Aizaini, et al.
Publicat: (2002)

Detection of DoS attacks using intrusion detection sensors /
per: 436631 Pathmenanthan Ramakrishna, et al.
Publicat: (2002)

Strategies for the early detection of evasion propensity
per: Adelina Mezzari, et al.
Publicat: (2013-07-01)

Intrusion detection systems/
per: 313529 Barnard, Robert L.
Publicat: (1988)

Intrusion detection systems /
per: Di Pietro, Robert, et al.
Publicat: (2008)

Network intrusion detection /
per: 390153 Northcutt, Stephen, et al.
Publicat: (2003)

Intrusion Detection Using Payload Embeddings
per: Mehedi Hassan, et al.
Publicat: (2022-01-01)

Vacuum Loss Detection of PTC in CSP Plants via Temperature-Sensors
per: Thomas Kraft, et al.
Publicat: (2024-07-01)

Long-Range Wide Area Network Intrusion Detection at the Edge
per: Gonçalo Esteves, et al.
Publicat: (2024-12-01)

Unbounded nondeterminism in CSP
per: Roscoe, A, et al.
Publicat: (1989)