Formalising Java safety -- An overview

Pieter H. Hartel

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    111 Downloads (Pure)


    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.
    Original languageUndefined
    Title of host publication4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS)
    EditorsJ Domingo-Ferrer, D. Chan, A. Watson
    Place of PublicationBoston, Massachusetts
    PublisherKluwer Academic Publishers
    Number of pages20
    ISBN (Print)0-7923-7953-5
    Publication statusPublished - Sept 2000
    Event4th Smart Card Research and Advanced Applications Conference, CARDIS 2000 - Bristol, UK, Bristol, United Kingdom
    Duration: 20 Sept 200022 Sept 2000
    Conference number: 4

    Publication series

    PublisherKluwer Academic Publishers


    Conference4th Smart Card Research and Advanced Applications Conference, CARDIS 2000
    Abbreviated titleCARDIS 2000
    Country/TerritoryUnited Kingdom


    • SCS-Cybersecurity
    • METIS-119672
    • EWI-991
    • IR-19149

    Cite this