7 citations · 11 across the 7 of their papers we have counts for
7 papers
A Security Evaluation Framework for Software-Defined Network Architectures in Data Center Environments
Igor Ivkić, Dominik Thiede, Nicholas Race +2
The importance of cloud computing has grown over the last years, which resulted in a significant increase of Data Center (DC) network requirements. Virtualisation is one of the key…
Model Checking Access Control Policies: A Case Study using Google Cloud IAM
Antonios Gouglidis, Anna Kagia, Vincent C. Hu
Authoring access control policies is challenging and prone to misconfigurations. Access control policies must be conflict-free. Hence, administrators should identify discrepancies…
Joint Security-vs-QoS Game Theoretical Optimization for Intrusion Response Mechanisms for Future Network Systems
Arash Bozorgchenani, Charilaos C. Zarakovitis, Su Fong Chien +4
Network connectivity exposes the network infrastructure and assets to vulnerabilities that attackers can exploit. Protecting network assets against attacks requires the application…
ThreatPro: Multi-Layer Threat Analysis in the Cloud
Salman Manzoor, Antonios Gouglidis, Matthew Bradbury +1
Many effective Threat Analysis (TA) techniques exist that focus on analyzing threats to targeted assets (e.g., components, services). These techniques consider static interconnecti…
Analysing Design Approaches for the Power Consumption in Cyber-Physical Systems
Patrizia Sailer, Igor Ivkic, Markus Tauber +2
The importance of Cyber Physical Systems (CPS) and Internet of Things (IoT) applications is constantly increasing, especially in the context of Industry 4.0. Architectural decision…
A Security Cost Modelling Framework for Cyber-Physical Systems
Igor Ivkic, Patrizia Sailer, Antonios Gouglidis +2
Cyber-Physical Systems (CPS) are formed through interconnected components capable of computation, communication, sensing and changing the physical world. The development of these s…
Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+
Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou
Usage control models provide an integration of access control, digital rights, and trust management. To achieve this integration, usage control models support additional concepts s…