Zhiqun Chen. Java Card Technology for Smart Cards: Architecture and Programmer 's Guide. Addison-Wesley, 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Constraint-based security analysis for the Java Card firewall - Eluard, Jensen (2002) (Correct)
....on today s smart cards. Java Card keeps the essence of Java, like inheritance, virtual methods, overloading, but leaves out features such as large primitive data types (long, double and float) characters and string, multidimensional arrays, garbage collection, object cloning, security managers [1, 10]. Given the security critical application areas of Java Card, the language has been endowed with an elaborate security architecture. Applets are separated by a firewall which prevents one applet from accessing objects owned by another applet. Shareable objects and interfaces are used to provide ....
Zhiqun Chen. Java Card Technology for Smart Cards: Architecture and Programmer's Guide. Addison-Wesley, 2000.
Small-Scale Java Virtual Machines - Aarnio (Correct)
....not support all the features in Java language, the Java Card virtual machine can only support the features that are required by the language subset. The Java Card virtual machine is discussed in detail in the next chapter. Table 2. Supported and unsupported Java features in the Java Card platform [9]. Supported Java Features Unsupported Java Features . Small primitive data types: boolean, byte, short . One dimensional arrays . Java packages, classes, interfaces and exceptions . Java object oriented features: inheritance, virtual methods, overloading and dynamic object creation, ....
....converter. During the conversion from class files into a CAP file, the converter performs tasks that a Java virtual machine would perform at class loading time. The idea behind the preprocessing is to keep the JCVM on a smart card as small as possible. The converter performs the following tasks [9]: Checks for Java Card language violations . Initializes static variables in the classes . Resolves symbolic references . Optimizes bytecode . Allocates storage and creates virtual machine data structures to represent classes. An installation program on the smart card receives the contents ....
ZHIQUN, C., Java Card Technology for Smart Cards: Architecture and Programmer's Guide. Addison-Wesley, 2000.
Smartcard Firewalls Revisited - Henrich Pohls Joachim (Correct)
No context found.
Zhiqun Chen. Java Card Technology for Smart Cards: Architecture and Programmer 's Guide. Addison-Wesley, 2000.
A space-aware bytecode verifier for Java Cards - Bernardeschi, Lettieri.. (2005) (Correct)
No context found.
Zhiqun Chen. Java Card Technology for Smart Cards: Architecture and Programmer 's Guide. Addison-Wesley Longman Publishing Co., Inc., 2000.
Java Bytecode Verification With Dynamic Structures - Cinzia Bernardeschi Luca (2004) (Correct)
No context found.
Zhiqun Chen. Java Card Technology for Smart Cards: Architecture and Programmer's Guide. Addison-Wesley Longman Publishing Co., Inc., 2000.
Secure Object Sharing Development Kit for Java Card - Daniel Perovich Daniel (2002) (Correct)
No context found.
Zhiqun Chen. Java Card Technology for Smart Cards: Architecture and Programmer's guide. The Java Series. Addison-Wesley, Reading, MA, USA, June 2000.
One-Time Pads for Secure Communication in Ubiquitous Computing - Jenkin, Dymond (2004) (Correct)
No context found.
Zhiqun Chen, Java card technology for smart cards: architecture and programmer's guide (New York, NY: Addison Wesley, 2000).
Assessing the Future of Smart Card Operating Systems - Deville, Galland, Grimaud.. (Correct)
No context found.
Zhiqun Chen. Java Card Technology for Smart Cards : Architecture and Programmer's Guide. The Java Series. Addison Wesley, 2000.
A Low-Footprint Class Loading Mechanism for Embedded.. - Rippert, Courbot.. (Correct)
No context found.
Zhiqun Chen. Java Card Technology for Smart Cards: Architecture and Programmer's Guide. Addison Wesley, 2000.
Computer Security from a Programming Language and Static Analysis.. - Leroy (Correct)
No context found.
Zhiqun Chen. Java Card Technology for Smart Cards: Architecture and Programmer 's Guide. The Java Series. Addison-Wesley, 2000.
On the Combination of Java Card Remote Method Invocation and JML - Oostdijk, Warnie (Correct)
No context found.
Zhiqun Chen. Java Card technology for smart cards: architecture and programmer's guide. Addison-Wesley, June 2000.
Voting using Java Card smart cards: A case study - Breunesse, Jacobs, Oostdijk (2002) (Correct)
No context found.
Zhiqun Chen. Java Card technology for smart cards: architecture and programmer's guide. Addison-Wesley, June 2000.
On the Combination of Java Card Remote Method Invocation and JML - Oostdijk, Warnier (Correct)
No context found.
Zhiqun Chen. Java Card technology for smart cards: architecture and programmer's guide. Addison-Wesley, June 2000.
Implementing Elliptic Curve Cryptography on PC and Smart Card - Berta, Mann (2002) (Correct)
No context found.
Zhiqun Chen. Java Card Technology for Smart Card: Architecture and Programmer's Guide. Addison-Wesley Pub Co; ISBN: 02017.
SIMtelligence Designer/J: A Visual Language to.. - Schmidt, Pfahler.. (Correct)
No context found.
Zhiqun Chen. Java Card technology for Smart Cards: architecture and programmer's guide. Java series. Addison-Wesley, Reading, MA, USA, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC