Results 211 to 220 of about 81,045 (237)
Some of the next articles are maybe not open access.
On the dictionary compression for Java card environment
Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems, 2013Java Card is a Java running environment developed for low-end embedded systems such as smart cards. In this context of scarce resources, ROM size plays a very important role and compression techniques help reducing program sizes as much as possible. Dictionary compression is the most promising technique and has been taken in consideration in this field
Massimiliano Zilli +4 more
openaire +1 more source
Java card: Internet computing on a smart card
IEEE Internet Computing, 1997The smart card-which offers Internet programmers a truly safe place to generate and store a private encryption key-will soon be recognized as a useful component of Internet computing. Until now the security precautions surrounding smart-card technology have effectively prevented its use in general computing systems, but the recent implementation of the
exaly +2 more sources
2002
In this chapter, we present a sample Java Card applet together with the basic concepts of on-card programming for Java Cards. We explain the associated off-card programming and show how OCF brings off-card and on-card parts together. You can find a brief introduction to the Java Card platform in Section 2.3.2 “Java Card”.
Uwe Hansmann +4 more
openaire +1 more source
In this chapter, we present a sample Java Card applet together with the basic concepts of on-card programming for Java Cards. We explain the associated off-card programming and show how OCF brings off-card and on-card parts together. You can find a brief introduction to the Java Card platform in Section 2.3.2 “Java Card”.
Uwe Hansmann +4 more
openaire +1 more source
Mitigating Type Confusion on Java Card
International Journal of Secure Software Engineering, 2013One of the challenges for smart card deployment is the security interoperability. A smart card resistant to an attack on a given platform should be able to guarantee the same behavior on another platform. But the current implementations do not comply with this requirement.
Jean Dubreuil +3 more
openaire +2 more sources
A Flexible Invocation Framework for Java Card
2001The Java Card Specification specifies a framework suitable for most tasks that interface with ISO-7816 protocols. However, this framework limits Java Card applets to only handling tasks that are supported by this protocol. Tasks such as physical security, using the standard Wiegand protocol, cards which test ISO-7816 card renders by pushing the limits ...
Michael Montgomery, Ksheerabdhi Krishna
openaire +1 more source
Authenticated Encryption Schemes on Java Card
2019 22nd Euromicro Conference on Digital System Design (DSD), 2019Authenticated encryption algorithms will be the main workhorse for secret-key cryptography in the future. The ever increasing use of smart cards requires that authenticated encryption schemes are also available on smart cards. In this paper, five authenticated ciphers from the CAESAR competition are implemented and evaluated on Java card platform.
openaire +1 more source
Optimization of Transaction Mechanism on Java Card
2011Reliable update of data is very important on Java Card. Transaction mechanism ensures the data integrity on cards, but such transaction mechanism is very time consuming. Therefore, this paper presents an optimized transaction mechanism based on high object locality on Java Card.
Xiaoxue Yu, Dawei Zhang
openaire +1 more source
Formalising the safety of Java, the Java Virtual Machine and Java Card [PDF]
, 2001 We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smart cards. The conclusion is that while a lot of good work has been done, a more concerted effort is needed to build a coherent set of machine readable formal models of the whole of Java and its ...
Hartel, Pieter H., Moreau, Luc
openaire +2 more sources
Developing Smart Card-Based Applications Using Java Card
2000In this paper we describe a methodology for developing smart card-based applications which accounts for both internal and external software production: on-card and client programs. This development methodology is based on the application of distributed object-oriented principles to Java Card. We design a model in which a card application is viewed as a
Jean-Jacques Vandewalle, Eric Vétillard
openaire +1 more source
A Formally Verified Calculus for Full Java Card
2004We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally proved correct with respect to a natural semantics. It is implemented in the KIV system and used for smart card applications.
openaire +1 more source