The University of Southampton
×
Filter your search:
University of Southampton Institutional Repository

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

Formalising the Safety of Java, the Java Virtual Machine and Java Card
Formalising the Safety of Java, the Java Virtual Machine and Java Card
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.
517
Hartel, Pieter H.
bdcf6621-5fcf-4822-9553-45f551f81c48
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8
Hartel, Pieter H.
bdcf6621-5fcf-4822-9553-45f551f81c48
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8

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

Record type: Article

Abstract

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.

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

More information

Published date: December 2001
Related URLs:
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 256393
URI: http://eprints.soton.ac.uk/id/eprint/256393
PURE UUID: 468fd226-a8c2-4893-a2a3-a547f856b2b9
ORCID for Luc Moreau: ORCID iD orcid.org/0000-0002-3494-120X

Catalogue record

Date deposited: 22 Mar 2002
Last modified: 14 Mar 2024 05:42

Export record

Contributors

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

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

Library staff additional information
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

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.

×