Results 201 to 210 of about 2,954 (225)
Some of the next articles are maybe not open access.
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
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
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
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
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
Extended Secure Memory for a Java Card in the Context of the Java Card Grid project
2006The Java Card (TM) Grid platform is a project carried out at LaBRI, Laboratoire Bordelais de Recherche en Informatique. It consists in setting up a platform composed of a large number of smart cards connected together by USB hubs and driven by PCs. The Java Card readers are assembled in a wall mount rack and are organized in a cluster-like architecture.
Chaumette, Serge +2 more
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
JCSI: A tool for checking secure information flow in Java Card applications
Journal of Systems and Software, 2012Paolo Masci +2 more
exaly