8.1 Riferimenti nel testo Bibliografia 8

C A P I T O L O

8

Bibliografia

8.1 Riferimenti

nel

testo

[Axalto]

Schlumberger, a smart card industry { http://www.cyberflex.com/index.html } [BCEL]

Apache foundation, Jakarta project { http://jakarta.apache.org/bcel/ } [BCEL98]

Markus Dahm - Byte Code Engineering with the BCEL API, technical report B-17-98

{ ftp://ftp.inf.fu-berlin.de/pub/BCEL/report.ps } [Bull]

Bull, a smart card industry { http://www.bull.com } [Chen]

Zhiqun Chen - Java Card technology for Smart Cards: architecture and programmer’s guide, Addison-Wesley 2000

CAPITOLO 8:BIBLIOGRAFIA

[DesignPatterns]

Gamma, Helm, Johnson, Vlissides - Design patterns: elements of reusable object oriented software, Addison-Wesley 1995

[Deville-Grimaud]

Damien Deville and Gilles Grimaud – Building an “impossible” verifier on a Java Card, Second USENIX Workshop on Industrial Experiences with Systems Software (WIESS'02), (Boston, USA, 2002)

{ http://www.lifl.fr/~deville/ , http://www.lifl.fr/~grimaud/ } [dynamicJBV]

Cinzia Bernardeschi, Luca Martini, Paolo Masci – Java Bytecode verification with dynamic structures. Dipartimento di Ingegneria dell’informazione, Pisa. Internal report. 2003.

[EnverHaase]

Enver Haase, JustIce developer

{ http://page.inf.fu-berlin.de/~ehaase/index.shtml } [GreenProject]

A Brief History of the Green Project

{ http://java.sun.com/people/jag/green/ } [Gemplus]

GemPlus, a smart card industry { http://www.gemplus.com } [ipdJTRES]

Nicoletta de Francesco, Cinzia Bernardeschi, Luca Martini - Efficient

bytecode verification using immediate postdominators in control flow graphs. JTRES 2003 Proceedings, 2003.

[JavaCardForum]

The Java Card Forum

CAPITOLO 8:BIBLIOGRAFIA

[JavaCoreReflection] Java Reflection APIs

{ http://java.sun.com/j2se/1.3/docs/guide/reflection } [JavaSecurity]

Core Java: Security and the Java Platform { http://java.sun.com/security/ }

[JavaSpecs]

J. Gosling, B. Joy, G. Steele, G. Bracha - The Java Language Specifications 2nd _{edition. Addison-Wesley.}

{ http://java.sun.com/docs/books/jls/ } [JCkit]

Java Card development kit

{ http://java.sun.com/products/javacard/dev_kit.html } [JCspec2.2.1]

Java Card 2.2.1 platform specification

{ http://java.sun.com/products/javacard/specs.html } [JustIce]

Enver Haase – JustIce, a free class verifier for Java, September 2001 { http://bcel.sourceforge.net/justice/JustIce.ps.gz }

[Leroy]

Xavier Leroy – Bytecode verification on Java Smart Cards, 2002 { http://pauillac.inria.fr/~xleroy/publi/oncard-verifier-spe.pdf } [MarkusDahm]

Markus Dahm, BCEL developer

CAPITOLO 8:BIBLIOGRAFIA

[Rose&Rose]

Eva Rose and Kristoffer Høgsbro Rose – Lightweight Bytecode Verification, September 1998

{ http://www.ens-lyon.fr/~krisrose/ftp/PAPERS/roses-fuj98.ps.gz } { http://evarose.net:800/~krisrose/index-ens.html }

[SandBox]

Java Security Architecture

{ http://java.sun.com/j2se/1.4.1/docs/guide/security/spec/security-spec.doc1.html }

[Star7]

Java Technology: the early years

{ http://java.sun.com/features/1998/05/birthday.html } [vmspecv2]

Lindholm, Yellin - The Java Virtual Machine Specification, 2nd _edition.

Addison-Wesley

{ http://java.sun.com/docs/books/vmspec/ }

8.2 Altri

riferimenti

utili

T. Ball - What's in a region? or computing control dependence regions in near-linear time for reducible control flow. ACM Letters on Program. Lang. Syst., 2(1-4):1-16, 1993.

G. Kildall - A united approach to global program optimization. In Proceedings of the 1st Annual ACM Symposium on Principles of Programming Languages, pages 194-206, 1973.

CAPITOLO 8:BIBLIOGRAFIA

X. Leroy - Java bytecode verification: an overview. In 13th International Conference on Computer Aided Verification, LNCS 2102, Proceedings, pages 265-285, July 2001.

G. C. Necula - Proof-carrying code. In 24th Annual Symposium on Principles of Programming Languages Proceedings, pages 106-119, January 1997. Computer e internet: primi passi con Java

{ http://www.compeint.com/passi_java.html } Java Platforms API specifications

{ http://java.sun.com/reference/api/index.html } Java 2 Platform

{ http://java.sun.com/java2/whatis/ }

Java world: An introduction to the basic structure and functionality of the Java Virtual Machine

{ http://www.javaworld.com/javaworld/jw-06-1996/jw-06-vm.html } Java world: security and the class verifier

{ http://www.javaworld.com/javaworld/jw-10-1997/jw-10-hood.html } Java card special interest group

{ http://www.javacard.org } Jasmin: a Java assembler interface

{ http://mrl.nyu.edu/meyer/jvm/jasmin.html } Sun: An introduction to Java Card technology

{ http://wireless.java.sun.com/javacard/articles/javacard1/ } Wikipedia, a free encyclopedia. Java programming language. { http://www.wikipedia.org/wiki/Java_programming_language }