Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Checking and Enforcing Security through Opacity in Healthcare
  Applications   The Internet of Things (IoT) is a paradigm that can tremendously
revolutionize health care thus benefiting both hospitals, doctors and patients.
In this context, protecting the IoT in health care against interference,
including service attacks and malwares, is challenging. Opacity is a
confidentiality property capturing a system's ability to keep a subset of its
behavior hidden from passive observers. In this work, we seek to introduce an
IoT-based heart attack detection system, that could be life-saving for patients
without risking their need for privacy through the verification and enforcement
of opacity. Our main contributions are the use of a tool to verify opacity in
three of its forms, so as to detect privacy leaks in our system. Furthermore,
we develop an efficient, Symbolic Observation Graph (SOG)-based algorithm for
enforcing opacity.

13
The categories of this paper are: quant-ph
5
The categories of this paper are: gr-qc
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
31
The categories of this paper are: ao-sci
2
The categories of this paper are: math
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
28
The categories of this paper are: alg-geom
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph