Formalising Java safety - an overview


Share/Save/Bookmark

Hartel, P.H. (2000) Formalising Java safety - an overview. In: 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application. CARDIS 2000 - Kluwer Acad. Publ..

[img]
Preview
PDF
208Kb
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. We have tried to avoid technical detail, and focus on the bigger issues. The interested reader may wish to consult some of the many papers that we refer to fill in the details.
Item Type:Conference or Workshop Item
Copyright:© 2000 Kluwer Academic Publishers
Link to this item:http://purl.utwente.nl/publications/19149
Official URL:http://www.dsse.ecs.soton.ac.uk/techreports/95-03/2000-2.html
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 119672