English
Related papers

Related papers: On the model-checking-based IDS

200 papers

Today by growing network systems, security is a key feature of each network infrastructure. Network Intrusion Detection Systems (IDS) provide defense model for all security threats which are harmful to any network. The IDS could detect and…

Software Engineering · Computer Science 2014-03-06 Mehdi Bahrami , Mohammad Bahrami

Intrusion Detection System (IDS) is one of the security measures being used as an additional defence mechanism to prevent the security breaches on web. It has been well known methodology for detecting network-based attacks but still…

Cryptography and Security · Computer Science 2018-08-14 Nancy Agarwal , Syed Zeeshan Hussain

As network attacks have increased in number and severity over the past few years, intrusion detection system (IDS) is increasingly becoming a critical component to secure the network. Due to large volumes of security audit data as well as…

Networking and Internet Architecture · Computer Science 2010-07-09 Huy Nguyen , Deokjai Choi

As the number of cyberattacks and their particualr nature escalate, the need for effective intrusion detection systems (IDS) has become indispensable for ensuring the security of contemporary networks. Adaptive and more sophisticated…

Cryptography and Security · Computer Science 2025-05-12 Soham Chatterjee , Satvik Chaudhary , Aswani Kumar Cherukuri

IDS aims to protect computer networks from security threats by detecting, notifying, and taking appropriate action to prevent illegal access and protect confidential information. As the globe becomes increasingly dependent on technology and…

Cryptography and Security · Computer Science 2025-06-04 Sudhanshu Sekhar Tripathy , Bichitrananda Behera

Closed-loop control systems employ continuous sensing and actuation to maintain controlled variables within preset bounds and achieve the desired system output. Intentional disturbances in the system, such as in the case of cyberattacks,…

Systems and Control · Electrical Eng. & Systems 2021-06-21 Vuk Lesi , Marcio Juliato , Shabbir Ahmed , Christopher Gutierrez , Qian Wang , Manoj Sastry

Intrusion Detection Systems (IDS) have long been a hot topic in the cybersecurity community. In recent years, with the introduction of deep learning (DL) techniques, IDS have made great progress due to their increasing generalizability. The…

Cryptography and Security · Computer Science 2025-10-14 Zhiwei Xu , Yujuan Wu , Shiheng Wang , Jiabao Gao , Tian Qiu , Ziqi Wang , Hai Wan , Xibin Zhao

Growing number of network devices and services have led to increasing demand for protective measures as hackers launch attacks to paralyze or steal information from victim systems. Intrusion Detection System (IDS) is one of the essential…

Machine Learning · Computer Science 2019-11-27 Hyeokmin Gwon , Chungjun Lee , Rakun Keum , Heeyoul Choi

An application of software known as an Intrusion Detection System (IDS) employs machine algorithms to identify network intrusions. Selective logging, safeguarding privacy, reputation-based defense against numerous attacks, and dynamic…

Cryptography and Security · Computer Science 2025-06-24 Muhammad Zawad Mahmud , Samiha Islam , Shahran Rahman Alve , Al Jubayer Pial

[...] The most famous model checking (MC) techniques were developed from the late 80s, bearing in mind the well-known "point-based" temporal logics LTL and CTL. However, while the expressiveness of such logics is beyond doubt, there are…

Logic in Computer Science · Computer Science 2019-02-12 Alberto Molinari

Most intrusion detection systems still identify attacks only after significant damage has occurred, detecting late-stage tactics rather than early indicators of compromise. This paper introduces a temporal analysis framework and taxonomy…

Cryptography and Security · Computer Science 2025-11-07 Tatiana S. Parlanti , Carlos A. Catania

Intrusion detection systems (IDSs) built on artificial intelligence (AI) are presented as latent mechanisms for actively detecting fresh attacks over a complex network. Although review papers are used the systematic review or simple methods…

Cryptography and Security · Computer Science 2023-08-14 Ziadoon K. Maseer , Robiah Yusof , Baidaa Al-Bander , Abdu Saif , Qusay Kanaan Kadhim

The advanced development of the Internet facilitates efficient information exchange while also been exploited by adversaries. Intrusion detection system (IDS) as an important defense component of network security has always been widely…

Cryptography and Security · Computer Science 2018-08-07 ShaoHua Lv , Jian Wang , YinQi Yang , JiQiang Liu

Many methods have been developed to secure the network infrastructure and communication over the Internet. Intrusion detection is a relatively new addition to such techniques. Intrusion detection systems (IDS) are used to find out if…

Artificial Intelligence · Computer Science 2012-02-10 N. Ugtakhbayar , D. Battulga , Sh. Sodbileg

In this paper we discuss and analyze some of the intelligent classifiers which allows for automatic detection and classification of networks attacks for any intrusion detection system. We will proceed initially with their analysis using the…

Cryptography and Security · Computer Science 2015-09-29 Mohanad Albayati , Biju Issac

Intrusion Detection Systems (IDS) are key components for securing critical infrastructures, capable of detecting malicious activities on networks or hosts. The procedure of implementing a IDS for Internet of Things (IoT) networks is not…

Cryptography and Security · Computer Science 2021-05-19 Luca Arnaboldi , Charles Morisset

The large number of sensors and actuators that make up the Internet of Things obliges these systems to use diverse technologies and protocols. This means that IoT networks are more heterogeneous than traditional networks. This gives rise to…

In the context of cybersecurity of modern communications networks, Intrusion Detection Systems (IDS) have been continuously improved, many of them incorporating machine learning (ML) techniques to identify threats. Although there are…

Attackers demonstrated the use of remote access to the in-vehicle network of connected vehicles to launch cyber-attacks and remotely take control of these vehicles. Machine-learning-based Intrusion Detection Systems (IDSs) techniques have…

Cryptography and Security · Computer Science 2022-01-19 Mubark B Jedh , Jian Kai Lee , Lotfi ben Othmane

Intrusion Detection Systems (IDS) play a crucial role in ensuring the security of computer networks. Machine learning has emerged as a popular approach for intrusion detection due to its ability to analyze and detect patterns in large…

Cryptography and Security · Computer Science 2024-07-09 Amine Tellache , Amdjed Mokhtari , Abdelaziz Amara Korba , Yacine Ghamri-Doudane