Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Runtime Verification of Linux Kernel Security Module   The Linux kernel is one of the most important Free/Libre Open Source Software
(FLOSS) projects. It is installed on billions of devices all over the world,
which process various sensitive, confidential or simply private data. It is
crucial to establish and prove its security properties. This work-in-progress
paper presents a method to verify the Linux kernel for conformance with an
abstract security policy model written in the Event-B specification language.
The method is based on system call tracing and aims at checking that the
results of system call execution do not lead to accesses that violate security
policy requirements. As a basis for it, we use an additional Event-B
specification of the Linux system call interface that is formally proved to
satisfy all the requirements of the security policy model. In order to perform
the conformance checks we use it to reproduce intercepted system calls and
verify accesses.

3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
2
The categories of this paper are: math
11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
4
The categories of this paper are: cond-mat
12
The categories of this paper are: nucl-th
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an