Java']Java bytecode verification: An overview

被引：0
|
作者：
Leroy, X
机构：
[1] INRIA Rocquencourt, F-78153 Le Chesnay, France
[2] Trusted Log SA, F-78153 Le Chesnay, France
来源：
COMPUTER AIDED VERIFICATION, PROCEEDINGS | 2001年 / 2102卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Bytecode verification is a crucial security component for Java applets, on the Web and on embedded devices such as smart cards. This paper describes the main bytecode verification algorithms and surveys the variety of formal methods that have been applied to bytecode verification in order to establish its correctness.
引用
收藏
页码：265 / 285
页数：21
相关论文
共 50 条
  • [1] Java']Java bytecode verification
    Nipkow, T
    JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 233 - 233
  • [2] Integrated Java']Java Bytecode Verification
    Gal, Andreas
    Probst, Christian W.
    Franz, Michael
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 : 27 - 38
  • [3] Verified Java']Java Bytecode Verification
    Klein, Gerwin
    IT-INFORMATION TECHNOLOGY, 2005, 47 (02): : 107 - 110
  • [4] Java Bytecode Verification
    Tobias Nipkow
    Journal of Automated Reasoning, 2003, 30 : 233 - 233
  • [5] Java']Java bytecode verification for @NonNull types
    Male, Chris
    Pearce, David J.
    Potanin, Alex
    Dymnikov, Constantine
    COMPILER CONSTRUCTION, 2008, 4959 : 229 - 244
  • [6] Bytecode verification on Java']Java smart cards
    Leroy, X
    SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (04): : 319 - 340
  • [7] Java']Java bytecode verification: Algorithms and formalizations
    Leroy, X
    JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 235 - 269
  • [8] Java bytecode specification and verification
    Burdy, Lilian
    Pavlova, Mariela
    Proc ACM Symp Appl Computing, 1600, (1835-1839):
  • [9] Improving the official specification of Java']Java bytecode verification
    Coglio, A
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (02): : 155 - 179
  • [10] Java']Java bytecode verification for secure information flow
    Avvenuti, M
    Bernardeschi, C
    De Francesco, N
    ACM SIGPLAN NOTICES, 2003, 38 (12) : 20 - 27
12345