7 citations · 11 across the 7 of their papers we have counts for
4 papers · 1 filter
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…
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…
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…