Formalising Java safety -- An overview

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

    42 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. 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
    Pages115-134
    Number of pages20
    ISBN (Print)0-7923-7953-5
    Publication statusPublished - Sep 2000

    Publication series

    Name
    PublisherKluwer Academic Publishers

    Keywords

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

    Cite this

    Hartel, P. H. (2000). Formalising Java safety -- An overview. In J. Domingo-Ferrer, D. Chan, & A. Watson (Eds.), 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS) (pp. 115-134). Boston, Massachusetts: Kluwer Academic Publishers.
    Hartel, Pieter H. / Formalising Java safety -- An overview. 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS). editor / J Domingo-Ferrer ; D. Chan ; A. Watson. Boston, Massachusetts : Kluwer Academic Publishers, 2000. pp. 115-134
    @inproceedings{36663d4b5f1b43b7bb2a59eb8860d156,
    title = "Formalising Java safety -- An overview",
    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.",
    keywords = "SCS-Cybersecurity, METIS-119672, EWI-991, IR-19149",
    author = "Hartel, {Pieter H.}",
    note = "Imported from DIES",
    year = "2000",
    month = "9",
    language = "Undefined",
    isbn = "0-7923-7953-5",
    publisher = "Kluwer Academic Publishers",
    pages = "115--134",
    editor = "J Domingo-Ferrer and D. Chan and A. Watson",
    booktitle = "4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS)",
    address = "Netherlands",

    }

    Hartel, PH 2000, Formalising Java safety -- An overview. in J Domingo-Ferrer, D Chan & A Watson (eds), 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS). Kluwer Academic Publishers, Boston, Massachusetts, pp. 115-134.

    Formalising Java safety -- An overview. / Hartel, Pieter H.

    4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS). ed. / J Domingo-Ferrer; D. Chan; A. Watson. Boston, Massachusetts : Kluwer Academic Publishers, 2000. p. 115-134.

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

    TY - GEN

    T1 - Formalising Java safety -- An overview

    AU - Hartel, Pieter H.

    N1 - Imported from DIES

    PY - 2000/9

    Y1 - 2000/9

    N2 - 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.

    AB - 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.

    KW - SCS-Cybersecurity

    KW - METIS-119672

    KW - EWI-991

    KW - IR-19149

    M3 - Conference contribution

    SN - 0-7923-7953-5

    SP - 115

    EP - 134

    BT - 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS)

    A2 - Domingo-Ferrer, J

    A2 - Chan, D.

    A2 - Watson, A.

    PB - Kluwer Academic Publishers

    CY - Boston, Massachusetts

    ER -

    Hartel PH. Formalising Java safety -- An overview. In Domingo-Ferrer J, Chan D, Watson A, editors, 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS). Boston, Massachusetts: Kluwer Academic Publishers. 2000. p. 115-134