Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Evaluating the Exploitability of Implicit Interactions in Distributed
  Systems   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 cybersecurity vulnerabilities that can be exploited to
mount cyber-attacks causing serious and destabilizing system effects. In this
paper, we study implicit interactions in distributed systems specified using
the algebraic modeling framework known as Communicating Concurrent Kleene
Algebra (C$^2$KA). To identify and defend against a range of possible attack
scenarios, we develop a new measure of exploitability for implicit interactions
to aid in evaluating the threat posed by the existence of such vulnerabilities
in system designs for launching cyber-attacks. The presented approach is based
on the modeling and analysis of the influence and response of the system agents
and their C$^2$KA specifications. We also demonstrate the applicability of the
proposed approach using a prototype tool that supports the automated analysis.
The rigorous, practical techniques presented here enable cybersecurity
vulnerabilities in the designs of distributed systems to be more easily
identified, assessed, and then mitigated, offering significant improvements to
overall system resilience, dependability, and security.

7
The categories of this paper are: hep-th
12
The categories of this paper are: nucl-th
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
6
The categories of this paper are: astro-ph
35
The categories of this paper are: mtrl-th
32
The categories of this paper are: atom-ph
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an