Formalising Java safety -- An overview

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

    51 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
    Event4th Smart Card Research and Advanced Applications Conference, CARDIS 2000 - Bristol, UK, Bristol, United Kingdom
    Duration: 20 Sep 200022 Sep 2000
    Conference number: 4

    Publication series

    Name
    PublisherKluwer Academic Publishers

    Conference

    Conference4th Smart Card Research and Advanced Applications Conference, CARDIS 2000
    Abbreviated titleCARDIS 2000
    CountryUnited Kingdom
    CityBristol
    Period20/09/0022/09/00

    Keywords

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

    Cite this