Simple verification technique for complex Java bytecode subroutines

被引：0
|
作者：
Kestrel Institute, 3260 Hillview Avenue, Palo Alto, CA 94304, United States [1 ]
机构：
来源：
| 1600年 / 647-670卷 / June 2004期
关键词：
Theoretical; (THR);
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Java']Java bytecode verification for secure information flow
    Avvenuti, M
    Bernardeschi, C
    De Francesco, N
    ACM SIGPLAN NOTICES, 2003, 38 (12) : 20 - 27
  • [22] Standard fixpoint iteration for Java']Java bytecode verification
    Qian, ZY
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (04): : 638 - 672
  • [23] Checking secure information flow in Java']Java bytecode by code transformation and standard bytecode verification
    Bernardeschi, C
    De Francesco, N
    Lettieri, G
    Martini, L
    SOFTWARE-PRACTICE & EXPERIENCE, 2004, 34 (13): : 1225 - 1255
  • [24] Constraint based Testing and Verification of Java']Java Bytecode Programs
    Achour, Safaa
    Benattou, Mohammed
    2018 IEEE 5TH INTERNATIONAL CONGRESS ON INFORMATION SCIENCE AND TECHNOLOGY (IEEE CIST'18), 2018, : 64 - 69
  • [25] Java']Java Bytecode Verification with OCL Why, How and When?
    Bockisch, Christoph
    Taentzer, Gabriele
    Nassar, Nebras
    Wydra, Lukas
    JOURNAL OF OBJECT TECHNOLOGY, 2020, 19 (03): : 1 - 16
  • [26] Memory Requirements of Java']Java Bytecode Verification on Limited Devices
    Klohs, Karsten
    Kastens, Uwe
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 132 (01) : 95 - 111
  • [27] Using contour marking bytecode verification algorithm on the java']java card
    Jiang, Longlong
    Li, Daiping
    MECHATRONICS ENGINEERING, COMPUTING AND INFORMATION TECHNOLOGY, 2014, 556-562 : 4120 - +
  • [28] Verification of Java']Java bytecode using analysis and transformation of logic programs
    Albert, E.
    Gomez-Zamalloa, M.
    Hubert, L.
    Puebla, G.
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2007, 4354 : 124 - +
  • [29] Java']Java bytecode verification via static single assignment form
    Gal, Andreas
    Probst, Christian W.
    Franz, Michael
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (04):
  • [30] Towards Verification of Well-Formed Transactions in Java']Java Card Bytecode
    Hansen, Rene Rydhof
    Siveroni, Igor A.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (01) : 145 - 162
12345