Software systems dealing with distributed applications in changing environments normally
require human supervision to continue operation in all conditions. These (re-) configuring …

One major challenge in self-adaptive systems is to assure the required quality properties.
Formal methods provide the means to rigorously specify and reason about the behaviors of …

The critical infrastructures of our society are in the process of being modernized. Most
significantly impacted are the industrial control systems through replacement of old …

Self-protecting software systems are a class of autonomic systems capable of detecting and
mitigating security threats at runtime. They are growing in importance, as the stovepipe static …

Software-defined networking (SDN) is a novel networking paradigm that provides enhanced
programming abilities, which can be used to solve traditional security challenges on the …

Intrusion Detection Systems (IDSs) have played a crucial role in identifying cyber threats for
a very long time. Still, their significance has increased significantly with the advent of 5G/6G …

Since conventional software security approaches are often manually developed and
statically deployed, they are no longer sufficient against today's sophisticated and evolving …

Cloud computing is the most popular emerging computational model in information
technology. The data communication security requirement is increased day by day with the …

Cyber threats in Supervisory Control and Data Acquisition (SCADA) systems have the
potential to render physical damage and jeopardize power system operation, safety and …

The traditional approach to cybersecurity is struggling to defend against modern, dynamic
and rapidly evolving cyber-attacks. Automated generation of cyber-threat intelligence (CTI) …