Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Secure the Clones   Exchanging mutable data objects with untrusted code is a delicate matter
because of the risk of creating a data space that is accessible by an attacker.
Consequently, secure programming guidelines for Java stress the importance of
using defensive copying before accepting or handing out references to an
internal mutable object. However, implementation of a copy method (like
clone()) is entirely left to the programmer. It may not provide a sufficiently
deep copy of an object and is subject to overriding by a malicious sub-class.
Currently no language-based mechanism supports secure object cloning. This
paper proposes a type-based annotation system for defining modular copy
policies for class-based object-oriented programs. A copy policy specifies the
maximally allowed sharing between an object and its clone. We present a static
enforcement mechanism that will guarantee that all classes fulfil their copy
policy, even in the presence of overriding of copy methods, and establish the
semantic correctness of the overall approach in Coq. The mechanism has been
implemented and experimentally evaluated on clone methods from several Java
libraries.

31
The categories of this paper are: ao-sci
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
18
The categories of this paper are: econ
10
The categories of this paper are: q-bio
4
The categories of this paper are: cond-mat
2
The categories of this paper are: math
23
The categories of this paper are: solv-int
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
30
The categories of this paper are: q-alg