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