SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Software - Practice and Experience

Volumn 32, Issue 4, 2002, Pages 319-340

Bytecode verification on Java smart cards

(1) Leroy, Xavier a,b

a Trusted Logic (France)

b INRIA ROCQUENCOURT (France)

Author keywords

Applets; Bytecode verification; Java; Java Card; Security; Smart cards

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); DATA STORAGE EQUIPMENT; JAVA PROGRAMMING LANGUAGE; SECURITY OF DATA;

APPLETS; BYTECODE VERIFICATION;

SMART CARDS;

EID: 0037051773 PISSN: 00380644 EISSN: None Source Type: Journal
DOI: 10.1002/spe.438 Document Type: Article

Times cited : (71)

References (31)

1
- 0003848372
- Addison-Wesley: Reading, MA
- (2000) Java Card Technology for Smart Cards: Architecture and Programmer's Guide (The Java Series)
- Chen, Z.¹

2
- 0003254747
- Mobile agents and security
- Springer: Berlin
- (1998) Lecture Notes in Computer Science , vol.1419
- Vigna, G.¹

3
- 0004014446
- John Wiley & Sons: Chichester
- (1999) Securing Java
- McGraw, G.¹ Felten, E.²

4
- 0003801299
- Addison-Wesley: Reading, MA
- (1999) Inside Java 2 Platform Security: Architecture, API Design, and Implementation (The Java Series)
- Gong, L.¹

5
- 84957887272
- Java intermediate bytecodes
- ACM: New York, NY
- (1995) Proceedings of the ACM SIGPLAN Workshop on Intermediate Representations , pp. 111-118
- Gosling, J.A.¹

6
- 85170567129
- Low level security in Java
- O'Reilly: Sebastopol, CA
- (1995) Proceedings of the 4th International World Wide Web Conference , pp. 369-379
- Yellin, F.¹

7
- 0004220511
- Addison-Wesley: Reading, MA
- (1999) The Java Virtual Machine Specification (The Java Series) (2nd edn)
- Lindholm, T.¹ Yellin, F.²

8
- 0003539667
- Sun Microsystems
- (2000) JavaCard 2.1.1 virtual machine specification

9
- 0008721207
- Sun Microsystems
- (2000) JavaCard 2.1.1 runtime environment specification

10
- 0003502903
- Morgan Kaufmann: San Mateo, CA
- (1997) Advanced Compiler Design and Implementation
- Muchnick, S.S.¹

11
- 0002335588
- A type system for Java bytecode subroutines
- (1999) ACM Transactions on Programming Languages and Systems , vol.21 , Issue.1 , pp. 90-137
- Stata, R.¹ Abadi, M.²

12
- 0001362437
- Standard fixpoint iteration for Java bytecode verification
- (2000) ACM Transactions on Programming Languages and Systems , vol.22 , Issue.4 , pp. 638-672
- Qian, Z.¹

13
- 0003539668
- Springer: Berlin
- (2001) Java and the Java Virtual Machine
- Stärk, R.¹ Schmid, J.² Börger, E.³

14
- 84905051857
- On a new method for dataflow analysis of Java virtual machine subroutines
- SAS'98, Levi G. (ed.). Springer: Berlin
- (1998) Lecture Notes in Computer Science , vol.1503 , pp. 17-32
- Hagiya, M.¹ Tozawa, A.²

15
- 0032691230
- A simple, comprehensive type system for Java bytecode subroutines
- ACM Press: New York, NY
- (1999) Proceedings of the 26th Symp. on Principles of Programming Languages , pp. 70-78
- O'Callahan, R.¹

16
- 84958745294
- Java bytecode verification: An overview
- Computer Aided Verification, CAV 2001, Berry G., Comon H., Finkel A. (eds.). Springer: Berlin
- (2001) Lecture Notes in Computer Science , vol.2102 , pp. 265-285
- Leroy, X.¹

17
- 84976815037
- Register allocation and spilling via graph coloring
- (1982) SIGPLAN Notices , vol.17 , Issue.6 , pp. 98-105
- Chaitin, G.J.¹

18
- 0028429472
- Improvements to graph coloring register allocation
- (1994) ACM Transactions on Programming Languages and Systems , vol.16 , Issue.3 , pp. 428-455
- Briggs, P.¹ Cooper, K.D.² Torczon, L.³

19
- 0004072686
- Addison-Wesley: Reading, MA
- (1986) Compilers: Principles, Techniques, and Tools
- Aho, A.V.¹ Sethi, R.² Ullman, J.D.³

20
- 0348146566
- Lightweight bytecode verification
- (1998) Workshop on Fundamental Underpinnings of Java
- Rose, E.¹ Rose, K.²

21
- 0008695946
- Sun Microsystems. White paper
- (2000) Java 2 platform micro edition technology for creating mobile devices

22
- 84887441515
- FACADE - A typed intermediate language dedicated to smart cards
- Software Engineering - ESEC/FSE'99. Springer: Berlin
- (1999) Lecture Notes in Computer Science , vol.1687 , pp. 476-493
- Grimaud, G.¹ Lanet, J.-L.² Vandewalle, J.-J.³

23
- 0030685617
- Proof-carrying code
- ACM Press: New York, NY
- (1997) Proceeding of the 24th Symp. on Principles of Programming Languages , pp. 106-119
- Necula, G.C.¹

24
- 0008733298
- Technical Report, Computational Logic Inc.
- (1997) The defensive Java virtual machine specification
- Cohen, R.¹

25
- 0003361902
- A formal specification of Java virtual machine instructions for objects, methods and subroutines
- Formal Syntax and Semantics of Java, Alves-Foss J. (ed.). Springer: Berlin
- (1998) Lecture Notes in Computer Science , vol.1523
- Qian, Z.¹

26
- 84948948452
- Proving the soundness of a Java bytecode verifier specification in Isabelle/HOL
- TACAS'99, Cleaveland WR (ed.). Springer: Berlin
- (1999) Lecture Notes in Computer Science , vol.1579 , pp. 89-103
- Pusch, C.¹

27
- 0000877763
- The type system for object initialization in the Java bytecode language
- (1999) ACM Transactions on Programming Languages and Systems , vol.21 , Issue.6 , pp. 1196-1250
- Freund, S.N.¹ Mitchell, J.C.²

28
- 84945246231
- Verified bytecode verifiers
- Foundations of Software Science and Computation Structures (FOSSACS'01). Springer: Berlin
- (2001) Lecture Notes in Computer Science , vol.2030 , pp. 347-363
- Nipkow, T.¹

29
- 0000952504
- Formalizing the safety of Java, the Java virtual machine and Java card
- To appear
- (2001) ACM Computing Surveys 2001
- Hartel, P.H.¹ Moreau, L.A.V.²

30
- 0008695947
- Java bytecode verification using model checking
- (1998) Workshop on Fundamental Underpinnings of Java
- Posegga, J.¹ Vogt, H.²

31
- 85009047795
- Vers un vérifieur de bytecode Java certifié
- Paris, October 2
- (1998) Seminar, École Normale Supérieure
- Brisset, P.¹

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