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

Pieter H. Hartel, Luc Moreau

    Research output: Contribution to journalArticleAcademicpeer-review

    45 Citations (Scopus)
    17 Downloads (Pure)

    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.
    Original languageUndefined
    Pages (from-to)517-558
    Number of pages42
    JournalACM computing surveys
    Volume33
    Issue number4
    DOIs
    Publication statusPublished - Dec 2001

    Keywords

    • EWI-933
    • METIS-203036
    • IR-36778
    • SCS-Cybersecurity

    Cite this