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

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Rohrmair, G, Lowe, G
التنسيق:	Conference item
منشور في:	Springer 2002

مواد مشابهة

Using data−independence in the analysis of intrusion detection systems
حسب: Rohrmair, G, وآخرون
منشور في: (2005)

Using data-independence in the analysis of intrusion detection systems
حسب: Rohrmair, G, وآخرون
منشور في: (2005)

Using CSP to detect errors in the TMN protocol
حسب: Roscoe, A, وآخرون
منشور في: (1996)

Using CSP to Detect Errors in the TMN Protocol
حسب: Lowe, G, وآخرون
منشور في: (1997)

Detection and Recognition of Atomic Evasions Against Network Intrusion Detection/Prevention Systems
حسب: Jia Jingping, وآخرون
منشور في: (2019-01-01)

Analysing Security Protocols using CSP
حسب: Lowe, G
منشور في: (2011)

Using CSP to Verify Sequential Consistency
حسب: Lowe, G, وآخرون
منشور في: (1999)

Using CSP to Verify Sequential Consistency
حسب: Lowe, G, وآخرون
منشور في: (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, وآخرون
منشور في: (2013)

Probabilistic and Prioritized Models of Timed CSP
حسب: Lowe, G
منشور في: (1995)

Counter abstraction in the CSP/FDR setting
حسب: Mazur, T, وآخرون
منشور في: (2009)

Counter Abstraction in the CSP/FDR setting
حسب: Mazur, T, وآخرون
منشور في: (2007)

Symmetry reduction in CSP model checking
حسب: Gibson-Robinson, T, وآخرون
منشور في: (2019)

Possibilities of using of hardware accelerators for intrusion detection and prevention systems
حسب: Artem Tetskyi, وآخرون
منشور في: (2024-11-01)

Model checking Timed CSP
حسب: Armstrong, P, وآخرون
منشور في: (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, وآخرون
منشور في: (2014)

CSP−based counter abstraction for systems with node identifiers
حسب: Mazur, T, وآخرون
منشور في: (2013)

Intrusion Detection Using Transformer in Controller Area Network
حسب: Hyunjun Jo, وآخرون
منشور في: (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, وآخرون
منشور في: (2022)

Using VProbes for intrusion detection
حسب: Dehnert, Alexander Worthington
منشور في: (2014)

On Lightweight Intrusion Detection: Modeling and Detecting Intrusions Dedicated to OLSR Protocol
حسب: Mouhannad Alattar, وآخرون
منشور في: (2013-06-01)

Detection of DoS attacks using intrusion detection sensors
حسب: Maarof, Mohd. Aizaini, وآخرون
منشور في: (2002)

Detection of DoS attacks using intrusion detection sensors /
حسب: 436631 Pathmenanthan Ramakrishna, وآخرون
منشور في: (2002)

Strategies for the early detection of evasion propensity
حسب: Adelina Mezzari, وآخرون
منشور في: (2013-07-01)

Intrusion detection systems/
حسب: 313529 Barnard, Robert L.
منشور في: (1988)

Intrusion detection systems /
حسب: Di Pietro, Robert, وآخرون
منشور في: (2008)

Network intrusion detection /
حسب: 390153 Northcutt, Stephen, وآخرون
منشور في: (2003)

Intrusion Detection Using Payload Embeddings
حسب: Mehedi Hassan, وآخرون
منشور في: (2022-01-01)

Vacuum Loss Detection of PTC in CSP Plants via Temperature-Sensors
حسب: Thomas Kraft, وآخرون
منشور في: (2024-07-01)

Long-Range Wide Area Network Intrusion Detection at the Edge
حسب: Gonçalo Esteves, وآخرون
منشور في: (2024-12-01)

Unbounded nondeterminism in CSP
حسب: Roscoe, A, وآخرون
منشور في: (1989)