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

Share/Save/Bookmark

Hartel, Pieter H. and Moreau, Luc (2001) Formalizing the Safety of Java, the Java Virtual Machine and Java Card. ACM computing surveys, 33 (4). pp. 517-558. ISSN 03600300

[img] PDF
Restricted to UT campus only
: Request a copy
410kB
Abstract:We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smartcards. The conclusion is that although 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 build trust in Java safety, and thence to achieve ITSEC level 6 or Common Criteria level 7 certification for Java programs.
Item Type:Article
Additional information:www.ub.utwente.nl/webdocs/ctit/1/00000050.pdf
Copyright:© 2001 ACM
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/36778
Official URL:http://dx.doi.org/10.1145/503112.503115
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 203036