Managing and supervising security in large networks has become a challenging task, as
new threats and flaws are being discovered on a daily basis. This requires an in depth and …

This paper reviews the major contributions in the field of Vulnerability Assessment from 1990
onwards. Even well administered networks are vulnerable to attack. Vulnerabilities are …

Phishing detection is an area of identifying malicious activities designed by phishers to lure
users providing sensitive information. Existing anti-phishing systems use blacklists based on …

Incomplete information about connectivity and functionality of elements of networked control
systems is a challenging issue in applying model-based security analysis in practice. This …

Abstract Cyber-Physical Systems enable various modern use cases and business models
such as connected vehicles, the Smart (power) Grid, or the Industrial Internet of Things. Their …

Vulnerability reconciliation is the process that analyses the output produced by one or more
vulnerability scanners and provides a more succinct and high-level view of vulnerabilities …

An important problem in network security risk assessment is to uncover network threats due
to current software vulnerabilities and misconfigurations. This paper proposes a logic …

Today most managing network security systems, especially Intrusion Detection System
(IDS), play a significant role in computer societies and due to the evolution of threats, the use …

All attacks come from the successful utilization of the vulnerabilities of the
telecommunication network or systems by the attackers. So it is the first important thing to …

In this paper, we present a formal model of computer security based on the universal Turing
machine. This model allows us to conclude that given a machine and policy, the problem of …