The University of Southampton
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.
Universiteit Twente
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 Universiteit Twente

Record type: Monograph (Project Report)

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
00000050 - Accepted Manuscript
Download (402kB)

More information

Published date: February 2001
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 256392
URI: http://eprints.soton.ac.uk/id/eprint/256392
PURE UUID: e257d2f0-5296-40fa-b216-f1780345c63c
ORCID for Luc Moreau: ORCID iD orcid.org/0000-0002-3494-120X

Catalogue record

Date deposited: 20 May 2002
Last modified: 14 Mar 2024 05:41

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

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.

×