English
Related papers

Related papers: On the model-checking-based IDS

200 papers

Cloud computing has become a powerful and indispensable technology for complex, high performance and scalable computation. The exponential expansion in the deployment of cloud technology has produced a massive amount of data from a variety…

Cryptography and Security · Computer Science 2020-05-27 Fadi Salo , MohammadNoor Injadat , Ali Bou Nassif , Aleksander Essex

Since it is impossible to predict and identify all the vulnerabilities of a network beforehand, and penetration into a system by malicious intruders cannot always be prevented, intrusion detection systems (IDSs) are essential entities to…

Cryptography and Security · Computer Science 2010-11-13 Jaydip Sen

Key components of current cybersecurity methods are the Intrusion Detection Systems (IDSs) were different techniques and architectures are applied to detect intrusions. IDSs can be based either on cross-checking monitored events with a…

Cryptography and Security · Computer Science 2022-04-15 Pietro Spadaccino , Francesca Cuomo

Intrusion detection systems (IDS) play a crucial role in IoT and network security by monitoring system data and alerting to suspicious activities. Machine learning (ML) has emerged as a promising solution for IDS, offering highly accurate…

Cryptography and Security · Computer Science 2025-02-21 Sean Fuhrman , Onat Gungor , Tajana Rosing

Network security is a critical concern in the digital landscape of today, with users demanding secure browsing experiences and protection of their personal data. This study explores the dynamic integration of Machine Learning (ML)…

Networking and Internet Architecture · Computer Science 2026-04-17 Pablo Benlloch , Oscar Romero , Antonio Leon , Jaime Lloret

Intrusion detection is a traditional practice of security experts, however, there are several issues which still need to be tackled. Therefore, in this paper, after highlighting these issues, we present an architecture for a hybrid…

Cryptography and Security · Computer Science 2023-10-27 Lynda Boukela , Gongxuan Zhang , Meziane Yacoub , Samia Bouzefrane

Smart grid is an emerging and promising technology. It uses the power of information technologies to deliver intelligently the electrical power to customers, and it allows the integration of the green technology to meet the environmental…

Cryptography and Security · Computer Science 2020-01-06 Zakaria El Mrabet , Hassan El Ghazi , Naima Kaabouch

Intrusion detection is an important defensive measure for automotive communications security. Accurate frame detection models assist vehicles to avoid malicious attacks. Uncertainty and diversity regarding attack methods make this task…

Cryptography and Security · Computer Science 2022-10-11 Pengzhou Cheng , Mu Han , Aoxue Li , Fengwei Zhang

Radiation Detection Systems (RDSs) are used to measure and detect abnormal levels of radioactive material in the environment. These systems are used in many applications to mitigate threats posed by high levels of radioactive material.…

Cryptography and Security · Computer Science 2025-09-03 Nathanael Coolidge , Jaime González Sanz , Li Yang , Khalil El Khatib , Glenn Harvel , Nelson Agbemava , I Putu Susila , Mehmet Yavuz Yagci

Since it is impossible to predict and identify all the vulnerabilities of a network, and penetration into a system by malicious intruders cannot always be prevented, intrusion detection systems (IDSs) are essential entities for ensuring the…

Cryptography and Security · Computer Science 2021-09-07 Jaydip Sen

Intrusion Detection Systems (IDS) are critical to defending enterprise and industrial control environments, yet evaluating their effectiveness under realistic conditions remains an open challenge. Existing benchmarks rely on synthetic…

Cryptography and Security · Computer Science 2025-11-25 Manuel Kern , Dominik Steffan , Felix Schuster , Florian Skopik , Max Landauer , David Allison , Simon Freudenthaler , Edgar Weippl

Cybersecurity has emerged as a critical global concern. Intrusion Detection Systems (IDS) play a critical role in protecting interconnected networks by detecting malicious actors and activities. Machine Learning (ML)-based behavior analysis…

The need to increase accuracy in detecting sophisticated cyber attacks poses a great challenge not only to the research community but also to corporations. So far, many approaches have been proposed to cope with this threat. Among them,…

Databases · Computer Science 2011-10-13 Huu Hoa Nguyen , Nouria Harbi , Jérôme Darmont

The Internet has become a prime subject to security attacks and intrusions by attackers. These attacks can lead to system malfunction, network breakdown, data corruption or theft. A network intrusion detection system (IDS) is a tool used…

Cryptography and Security · Computer Science 2022-03-14 Tanwir Ahmad , Dragos Truscan , Juri Vain , Ivan Porres

An Intrusion detection system (IDS) is essential for avoiding malicious activity. Mostly, IDS will be improved by machine learning approaches, but the model efficiency is degrading because of more headers (or features) present in the packet…

Cryptography and Security · Computer Science 2023-04-04 Swapnil Mane , Vaibhav Khatavkar , Niranjan Gijare , Pranav Bhendawade

Network security engineers work to keep services available all the time by handling intruder attacks. Intrusion Detection System (IDS) is one of the obtainable mechanism that used to sense and classify any abnormal actions. Therefore, the…

Cryptography and Security · Computer Science 2018-10-08 Ibrahim Obeidat , Nabhan Hamadneh , Mouhammd Al-kasassbeh , Mohammad Almseidin

Network penetration testing identifies the exploits and vulnerabilities those exist within computer network infrastructure and help to confirm the security measures. The objective of this paper is to explain methodology and methods behind…

Networking and Internet Architecture · Computer Science 2009-12-26 Nitin A. Naik , Gajanan D. Kurundkar , Santosh D. Khamitkar , Namdeo V. Kalyankar

Today, many organizations are moving their computing services towards the Cloud. This makes their computer processing available much more conveniently to users. However, it also brings new security threats and challenges about safety and…

Networking and Internet Architecture · Computer Science 2012-03-16 Hassen Mohammed Alsafi , Wafaa Mustafa Abduallah , Al-Sakib Khan Pathan

The current state of the art systems in Artificial Intelligence (AI) enabled intrusion detection use a variety of black box methods. These black box methods are generally trained using Error Based Learning (EBL) techniques with a focus on…

Cryptography and Security · Computer Science 2023-03-31 Jesse Ables , Thomas Kirby , Sudip Mittal , Ioana Banicescu , Shahram Rahimi , William Anderson , Maria Seale

Research in logic encryption over the last decade has resulted in various techniques to prevent different security threats such as Trojan insertion, intellectual property leakage, and reverse engineering. However, there is little agreement…

Cryptography and Security · Computer Science 2020-07-31 Yinghua Hu , Vivek V. Menon , Andrew Schmidt , Joshua Monson , Matthew French , Pierluigi Nuzzo