The University of Southampton
University of Southampton Institutional Repository

Formalising the Safety of Java, the Java Virtual Machine and Java Card

Hartel, Pieter H. and Moreau, Luc (2001) Formalising the Safety of Java, the Java Virtual Machine and Java Card ACM Computing Surveys, 33, (4), p. 517.

Record type: Article


We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smart cards. The conclusion is that while a lot of good work has been done, a more concerted effort is needed to build a coherent set of machine readable formal models of the whole of Java and its implementation. This is a formidable task but we believe it is essential to building trust in Java safety, and thence to achieve ITSEC level 6 or Common Criteria level 7 certification for Java programs.

PDF acmcs.pdf - Accepted Manuscript
Download (359kB)

More information

Published date: December 2001
Organisations: Web & Internet Science


Local EPrints ID: 256393
PURE UUID: 468fd226-a8c2-4893-a2a3-a547f856b2b9
ORCID for Luc Moreau: ORCID iD

Catalogue record

Date deposited: 22 Mar 2002
Last modified: 18 Jul 2017 09:46

Export record


Author: Pieter H. Hartel
Author: Luc Moreau ORCID iD

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.