Formalizing the safety of Java']Java, the Java']Java virtual machine, and Java']Java card

被引：34
|
作者：
Hartel, PH
Moreau, L
机构：
[1] Univ Twente, Dept Comp Sci, NL-7500 AE Enschede, Netherlands
[2] Univ Southampton, Dept Elect & Comp Sci, Southampton SO17 1BJ, Hants, England
来源：
ACM COMPUTING SURVEYS | 2001年 / 33卷 / 04期
关键词：
verification; Common criteria; programming;
D O I：
10.1145/503112.503115
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smartcards. The conclusion is that although 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 build trust in Java safety, and thence to achieve ITSEC level 6 or Common Criteria level 7 certification for Java programs.
引用
收藏
页码：517 / 558
页数：42
相关论文
共 50 条
  • [21] Crafting a Java']Java virtual machine in silicon
    Hardin, DS
    [J]. IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2001, 4 (01) : 54 - 56
  • [22] Array modeling in Java']Java Virtual Machine
    Wu Weimin
    Li Kailun
    Su Qing
    [J]. ADVANCED PARALLEL PROCESSING TECHNOLOGIES, PROCEEDINGS, 2007, 4847 : 617 - +
  • [23] Maxine: An Approachable Virtual Machine For, and In, Java']Java
    Wimmer, Christian
    Haupt, Michael
    Van De Vanter, Michael L.
    Jordan, Mick
    Daynes, Laurent
    Simon, Douglas
    [J]. ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2013, 9 (04)
  • [24] The Java']Java virtual machine profiler interface
    Schmalenbach, C
    Höfig, C
    [J]. DR DOBBS JOURNAL, 2004, 29 (07): : 28 - 33
  • [25] Pipelined Java']Java Virtual Machine interpreters
    Hoogerbrugge, J
    Augusteijn, L
    [J]. COMPILER CONSTRUCTION, PROCEEDINGS, 2000, 1781 : 35 - 49
  • [26] Java']Java Virtual Machine Educational Tools
    Dobravec, Tomasz
    [J]. 2019 IEEE 15TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS (INFORMATICS 2019), 2019, : 383 - 387
  • [27] A distributed implementation of a virtual machine for Java']Java
    Aridor, Y
    Factor, M
    Teperman, A
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2001, 13 (03): : 221 - 244
  • [28] Compilation scheduling for the Java']Java virtual machine
    Jiva, A
    Chun, R
    [J]. PLC '05: Proceedings of the 2005 International Conference on Programming Languages and Compilers, 2005, : 187 - 193
  • [29] Lightweight monitors for the Java']Java virtual machine
    Yang, BS
    Moon, SM
    Ebcioglu, K
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2005, 35 (03): : 281 - 299
  • [30] Java']Java virtual machine profiler interface
    Viswanathan, D
    Liang, S
    [J]. IBM SYSTEMS JOURNAL, 2000, 39 (01) : 82 - 95
12345