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

Pieter H. Hartel; Luc Moreau

doi:10.1145/503112.503115

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

Pieter H. Hartel, Luc Moreau

Research output: Contribution to journal › Article › Academic › peer-review

48 Citations (Scopus)

24 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 language	Undefined
Pages (from-to)	517-558
Number of pages	42
Journal	ACM computing surveys
Volume	33
Issue number	4
DOIs	https://doi.org/10.1145/503112.503115
Publication status	Published - Dec 2001

Keywords

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

Access to Document

10.1145/503112.503115

00000050

http://doi.acm.org/10.1145/503112.503115

Cite this

@article{482595f4c3064d938624d288d40548b9,

title = "Formalizing the Safety of Java, the Java Virtual Machine and Java Card",

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.",

keywords = "EWI-933, METIS-203036, IR-36778, SCS-Cybersecurity",

author = "Hartel, {Pieter H.} and Luc Moreau",

note = "Imported from DIES",

year = "2001",

month = dec,

doi = "10.1145/503112.503115",

language = "Undefined",

volume = "33",

pages = "517--558",

journal = "ACM computing surveys",

issn = "0360-0300",

publisher = "Association for Computing Machinery",

number = "4",

}

TY - JOUR

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

AU - Hartel, Pieter H.

AU - Moreau, Luc

N1 - Imported from DIES

PY - 2001/12

Y1 - 2001/12

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.

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.

KW - EWI-933

KW - METIS-203036

KW - IR-36778

KW - SCS-Cybersecurity

U2 - 10.1145/503112.503115

DO - 10.1145/503112.503115

M3 - Article

SN - 0360-0300

VL - 33

SP - 517

EP - 558

JO - ACM computing surveys

JF - ACM computing surveys

IS - 4

ER -