Identifying implicit component interactions in distributed cyber-physical systems
J Jaskolka, J Villasenor - 2017 - scholarspace.manoa.hawaii.edu
Modern distributed systems and networks, like those found in cyber-physical system
domains such as critical infrastructures, contain many complex interactions among their …
domains such as critical infrastructures, contain many complex interactions among their …
An approach for identifying and analyzing implicit interactions in distributed systems
Safety-critical system domains such as critical infrastructures, aerospace, automotive, and
industrial manufacturing and control are becoming increasingly dependent on the use of …
industrial manufacturing and control are becoming increasingly dependent on the use of …
Identifying and analyzing implicit interactions in a wastewater dechlorination system
J Jaskolka - International Workshop on the Security of Industrial …, 2020 - Springer
Critical infrastructures consist of numerous components, and even more interactions, many
of which may not be expected or foreseen by the system designers. The existence of these …
of which may not be expected or foreseen by the system designers. The existence of these …
[HTML][HTML] Mitigating covert channels based on analysis of the potential for communication
The existence and usage of covert channels in systems of communicating agents poses a
significant threat to the confidentiality of information. It is difficult to fully prevent the …
significant threat to the confidentiality of information. It is difficult to fully prevent the …
[PDF][PDF] Dynamic Segmentation, Configuration, and Governance of SDN.
Abstract Software Defined Networks (SDN) is a networking paradigm that helps transform
networks by breaking away from the restrictive constraints put by networking hardware used …
networks by breaking away from the restrictive constraints put by networking hardware used …
Evaluating the exploitability of implicit interactions in distributed systems
J Jaskolka - arxiv preprint arxiv:2006.06045, 2020 - arxiv.org
Implicit interactions refer to those interactions among the components of a system that may
be unintended and/or unforeseen by the system designers. As such, they represent …
be unintended and/or unforeseen by the system designers. As such, they represent …
[PDF][PDF] Communicating Concurrent Kleene Algebra for Distributed Systems Specification
M Buyse, J Jaskolka - Arch. Formal Proofs, 2019 - isa-afp.org
Abstract Communicating Concurrent Kleene Algebra (C2KA) is a mathematical framework
for capturing the communicating and concurrent behaviour of agents in distributed systems …
for capturing the communicating and concurrent behaviour of agents in distributed systems …
Towards the Certification of Covert Channel Freeness in Cloud-Based Systems
The rapid transition to cloud-based infrastructures has introduced a number of uncharted
risks, threats, and challenges that are faced by security experts. In particular, concerns …
risks, threats, and challenges that are faced by security experts. In particular, concerns …
[引用][C] On the modelling, analysis, and mitigation of distributed covert channels
J Jaskolka - 2015