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

书目详细资料
Main Authors:	Rohrmair, G, Lowe, G
格式:	Conference item
出版:	Springer 2002

相似书籍

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

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

Using CSP to detect errors in the TMN protocol
由: Roscoe, A, et al.
出版: (1996)

Using CSP to Detect Errors in the TMN Protocol
由: Lowe, G, et al.
出版: (1997)

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

Analysing Security Protocols using CSP
由: Lowe, G
出版: (2011)

Using CSP to Verify Sequential Consistency
由: Lowe, G, et al.
出版: (1999)

Using CSP to Verify Sequential Consistency
由: Lowe, G, et al.
出版: (1999)

Extending CSP with tests for availability
由: Lowe, G
出版: (2009)

Extending CSP with tests for availability
由: Lowe, G
出版: (2009)

Models for CSP with availability information
由: Lowe, G
出版: (2010)

Probabilities and Priorities in Timed CSP
由: Lowe, G
出版: (1993)

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

Probabilistic and Prioritized Models of Timed CSP
由: Lowe, G
出版: (1995)

Counter abstraction in the CSP/FDR setting
由: Mazur, T, et al.
出版: (2009)

Counter Abstraction in the CSP/FDR setting
由: Mazur, T, et al.
出版: (2007)

Symmetry reduction in CSP model checking
由: Gibson-Robinson, T, et al.
出版: (2019)

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

Model checking Timed CSP
由: Armstrong, P, et al.
出版: (2012)

Models for CSP with availability information
由: Gavin Lowe
出版: (2010-11-01)

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

Implementing generalised alt - A case study in validated design using CSP
由: Lowe, G
出版: (2011)

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

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

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

On CSP refinement tests that run multiple copies of a process
由: Lowe, G
出版: (2007)

Intrusion detection system for controller area network
由: Vinayak Tanksale
出版: (2024-02-01)

Ransomware: stages, detection and evasion
由: Yus Kamalrul, Mohamed Yunus, et al.
出版: (2022)

Using VProbes for intrusion detection
由: Dehnert, Alexander Worthington
出版: (2014)

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

Detection of DoS attacks using intrusion detection sensors
由: Maarof, Mohd. Aizaini, et al.
出版: (2002)

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

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

Intrusion detection systems/
由: 313529 Barnard, Robert L.
出版: (1988)

Intrusion detection systems /
由: Di Pietro, Robert, et al.
出版: (2008)

Network intrusion detection /
由: 390153 Northcutt, Stephen, et al.
出版: (2003)

Intrusion Detection Using Payload Embeddings
由: Mehedi Hassan, et al.
出版: (2022-01-01)

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

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

Unbounded nondeterminism in CSP
由: Roscoe, A, et al.
出版: (1989)