메뉴 건너뛰기




Volumn 30, Issue 3-4, 2003, Pages 323-361

Completeness of a bytecode verifier and a certifying Java-to-JVM compiler

Author keywords

Bytecode verification; Certifying compilation; Java

Indexed keywords

JAVA PROGRAMMING LANGUAGE; PROGRAM COMPILERS; RESPONSE TIME (COMPUTER SYSTEMS); SECURITY OF DATA; SUBROUTINES;

EID: 0043234794     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1025003423108     Document Type: Article
Times cited : (6)

References (19)
  • 1
    • 0038688046 scopus 로고    scopus 로고
    • The origins and the development of the ASM method for high level system design and analysis
    • Börger, E.: The origins and the development of the ASM method for high level system design and analysis, J. Universal Computer Science 8(1) (2002), 2-74.
    • (2002) J. Universal Computer Science , vol.8 , Issue.1 , pp. 2-74
    • Börger, E.1
  • 6
    • 0002017107 scopus 로고
    • Evolving algebras 1993: Lipari guide
    • in E. Börger (ed.); Oxford University Press
    • Gurevich, Y.: Evolving algebras 1993: Lipari guide, in E. Börger (ed.), Specification and Validation Methods, Oxford University Press, 1993, pp. 9-36.
    • (1993) Specification and Validation Methods , pp. 9-36
    • Gurevich, Y.1
  • 7
    • 0042714949 scopus 로고    scopus 로고
    • JustIce: An implementation of a free class file verifier for Java
    • Technical Report, Institut für Informatik, Freie Universität Berlin
    • Haase, E.: JustIce: An implementation of a free class file verifier for Java, Technical Report, Institut für Informatik, Freie Universität Berlin, 2001, http://bcel.sourceforge.net/justice/.
    • (2001)
    • Haase, E.1
  • 8
    • 0042715133 scopus 로고    scopus 로고
    • A framework for bytecode verifiers: Application to intra-procedural continuations
    • Technical Report, Inria Sophia-Antipolis
    • Henrio, L. and Serpette, B.: A framework for bytecode verifiers: application to intra-procedural continuations, Technical Report, Inria Sophia-Antipolis, 2001.
    • (2001)
    • Henrio, L.1    Serpette, B.2
  • 9
    • 26744460962 scopus 로고    scopus 로고
    • Verified bytecode verification and type-certifying compilation
    • Technical Report, Technical University Munich
    • Klein, G. and Strecker, M.: Verified bytecode verification and type-certifying compilation, Technical Report, Technical University Munich, 2002.
    • (2002)
    • Klein, G.1    Strecker, M.2
  • 10
    • 84937425434 scopus 로고    scopus 로고
    • On-card bytecode verification for Java Card
    • in I. Attali and T. Jensen (eds.)
    • Leroy, X.: On-card bytecode verification for Java Card, in I. Attali and T. Jensen (eds.), Smart Card Programming and Security (E-smart 2001), 2001, pp. 150-164.
    • (2001) Smart Card Programming and Security (E-smart 2001) , pp. 150-164
    • Leroy, X.1
  • 13
    • 0001362437 scopus 로고    scopus 로고
    • Standard fixpoint iteration for Java bytecode verification
    • Qian, Z.: Standard fixpoint iteration for Java bytecode verification, ACM Transactions on Programming Languages and Systems 22(4) (2000), 638-672.
    • (2000) ACM Transactions on Programming Languages and Systems , vol.22 , Issue.4 , pp. 638-672
    • Qian, Z.1
  • 14
    • 1142283564 scopus 로고    scopus 로고
    • Executing ASM specifications with AsmGofer
    • Schmid, J.: Executing ASM specifications with AsmGofer, Web pages at http://www.tydo.de/AsmGofer, 1999.
    • (1999)
    • Schmid, J.1
  • 15
    • 0041713430 scopus 로고    scopus 로고
    • Kimera: A Java system security architecture
    • Sirer, E., McDirmid, S. and Bershad, B.: Kimera: A Java system security architecture, http://kimera.cas.washington.edu/, 1997.
    • (1997)
    • Sirer, E.1    McDirmid, S.2    Bershad, B.3
  • 19
    • 78650022960 scopus 로고    scopus 로고
    • Connected, limited device configuration, Specification 1.0
    • Sun Microsystems; Java 2 Platform Micro Edition
    • Sun Microsystems: Connected, limited device configuration, Specification 1.0, Java 2 Platform Micro Edition, 2000.
    • (2000)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.