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), 517.


[img] PDF
Restricted to Registered users only

Download (351Kb) | Request a copy


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.

Item Type: Article
ISSNs: 0360-0300
Related URLs:
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 256393
Accepted Date and Publication Date:
December 2001Published
Date Deposited: 22 Mar 2002
Last Modified: 31 Mar 2016 13:56
Further Information:Google Scholar

Actions (login required)

View Item View Item

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