Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Jif: Language-based Information-flow Security in Java   In this report, we examine Jif, a Java extension which augments the language
with features related to security. Jif adds support for security labels to
Java's type system such that the developer can specify confidentiality and
integrity policies to the various variables used in their program. We list the
main features of Jif and discuss the information flow problem that Jif helps to
solve. We see how the information flow problem occurs in real-world systems by
looking at two examples: Civitas, a ballot/voting system where voters do not
necessarily trust voting agents, and SIF, a web application container
implemented using Jif. Finally, we implement a small program that simulates
information flow in a booking system containing sensitive data and discuss the
usefulness of Jif based on this program.

27
The categories of this paper are: comp-gas
32
The categories of this paper are: atom-ph
29
The categories of this paper are: funct-an
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
7
The categories of this paper are: hep-th
34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat
21
The categories of this paper are: adap-org