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

Podrobná bibliografie
Hlavní autoři:	Rohrmair, G, Lowe, G
Médium:	Conference item
Vydáno:	Springer 2002

Podobné jednotky

Using data−independence in the analysis of intrusion detection systems
Autor: Rohrmair, G, a další
Vydáno: (2005)

Using data-independence in the analysis of intrusion detection systems
Autor: Rohrmair, G, a další
Vydáno: (2005)

Using CSP to detect errors in the TMN protocol
Autor: Roscoe, A, a další
Vydáno: (1996)

Using CSP to Detect Errors in the TMN Protocol
Autor: Lowe, G, a další
Vydáno: (1997)

Detection and Recognition of Atomic Evasions Against Network Intrusion Detection/Prevention Systems
Autor: Jia Jingping, a další
Vydáno: (2019-01-01)

Analysing Security Protocols using CSP
Autor: Lowe, G
Vydáno: (2011)

Using CSP to Verify Sequential Consistency
Autor: Lowe, G, a další
Vydáno: (1999)

Using CSP to Verify Sequential Consistency
Autor: Lowe, G, a další
Vydáno: (1999)

Extending CSP with tests for availability
Autor: Lowe, G
Vydáno: (2009)

Extending CSP with tests for availability
Autor: Lowe, G
Vydáno: (2009)

Models for CSP with availability information
Autor: Lowe, G
Vydáno: (2010)

Probabilities and Priorities in Timed CSP
Autor: Lowe, G
Vydáno: (1993)

Analyzing the effectiveness of snort network intrusion detection system (NIDS) against evasion techniques /
Autor: Bakhdlaghi, Yousef, a další
Vydáno: (2013)

Probabilistic and Prioritized Models of Timed CSP
Autor: Lowe, G
Vydáno: (1995)

Counter abstraction in the CSP/FDR setting
Autor: Mazur, T, a další
Vydáno: (2009)

Counter Abstraction in the CSP/FDR setting
Autor: Mazur, T, a další
Vydáno: (2007)

Symmetry reduction in CSP model checking
Autor: Gibson-Robinson, T, a další
Vydáno: (2019)

Possibilities of using of hardware accelerators for intrusion detection and prevention systems
Autor: Artem Tetskyi, a další
Vydáno: (2024-11-01)

Model checking Timed CSP
Autor: Armstrong, P, a další
Vydáno: (2012)

Models for CSP with availability information
Autor: Gavin Lowe
Vydáno: (2010-11-01)

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

Implementing generalised alt - A case study in validated design using CSP
Autor: Lowe, G
Vydáno: (2011)

CSP-based counter abstraction for systems with node identifiers
Autor: Mazur, T, a další
Vydáno: (2014)

CSP−based counter abstraction for systems with node identifiers
Autor: Mazur, T, a další
Vydáno: (2013)

Intrusion Detection Using Transformer in Controller Area Network
Autor: Hyunjun Jo, a další
Vydáno: (2024-01-01)

On CSP refinement tests that run multiple copies of a process
Autor: Lowe, G
Vydáno: (2007)

Intrusion detection system for controller area network
Autor: Vinayak Tanksale
Vydáno: (2024-02-01)

Ransomware: stages, detection and evasion
Autor: Yus Kamalrul, Mohamed Yunus, a další
Vydáno: (2022)

Using VProbes for intrusion detection
Autor: Dehnert, Alexander Worthington
Vydáno: (2014)

On Lightweight Intrusion Detection: Modeling and Detecting Intrusions Dedicated to OLSR Protocol
Autor: Mouhannad Alattar, a další
Vydáno: (2013-06-01)

Detection of DoS attacks using intrusion detection sensors
Autor: Maarof, Mohd. Aizaini, a další
Vydáno: (2002)

Detection of DoS attacks using intrusion detection sensors /
Autor: 436631 Pathmenanthan Ramakrishna, a další
Vydáno: (2002)

Strategies for the early detection of evasion propensity
Autor: Adelina Mezzari, a další
Vydáno: (2013-07-01)

Intrusion detection systems/
Autor: 313529 Barnard, Robert L.
Vydáno: (1988)

Intrusion detection systems /
Autor: Di Pietro, Robert, a další
Vydáno: (2008)

Network intrusion detection /
Autor: 390153 Northcutt, Stephen, a další
Vydáno: (2003)

Intrusion Detection Using Payload Embeddings
Autor: Mehedi Hassan, a další
Vydáno: (2022-01-01)

Vacuum Loss Detection of PTC in CSP Plants via Temperature-Sensors
Autor: Thomas Kraft, a další
Vydáno: (2024-07-01)

Long-Range Wide Area Network Intrusion Detection at the Edge
Autor: Gonçalo Esteves, a další
Vydáno: (2024-12-01)

Unbounded nondeterminism in CSP
Autor: Roscoe, A, a další
Vydáno: (1989)