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. , University of Twente, TR-CTIT-01-07
Download
Full text not available from this repository.
Description/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.
| Item Type: | Monograph (Technical Report) |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 256392 |
| Date Deposited: | 20 May 2002 |
| Last Modified: | 02 Mar 2012 14:02 |
| Contributors: | Hartel, Pieter H. (Author) Moreau, Luc (Author) |
| Date: | February 2001 |
| Status: | Published |
| Publisher: | University of Twente, TR-CTIT-01-07 |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/256392 |
Actions (login required)
 |
View Item |
