Results 11 to 20 of about 80,615 (252)
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys, 2001 We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smartcards. The conclusion is that although 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 +5 more sources
An integrated development environment for Java Card [PDF]
Computer Networks, 2001 This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the Java Card Runtime Environment (JCRE), and the Java Card APIs.
Attali, I. +4 more
core +2 more sources
Bytecode verification on Java smart cards [PDF]
Software: Practice and Experience, 2002 AbstractThis article presents a novel approach to the problem of bytecode verification for Java Card applets. By relying on prior off‐card bytecode transformations, we simplify the bytecode verifier and reduce its memory requirements to the point where it can be embedded on a smart card, thus increasing significantly the security of post‐issuance ...
openaire +5 more sources
The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10
Transactions on Cryptographic Hardware and Embedded Systems, 2020 GlobalPlatform (GP) card specifications are defined for smart cards regarding rigorous security requirements. The increasingly more powerful cards within an open ecosystem of multiple players stipulate that asymmetric-key protocols become necessary.
Daniel De Almeida Braga +2 more
doaj +1 more source
Inclusive Finance in Sembako Program: An Overview From Proper Governance Perspective
ASEAN Social Work Journal, 2022 The Sembako program is one of the social protection programs launched by the Government of Indonesia to overcome poverty by providing food assistance.
Habibullah +3 more
doaj +1 more source
A programming and a modelling perspective on the evaluation of Java card implementations [PDF]
, 2000 Java Card Technology has provided a huge step forward in programming smart cards: from assembler to using a high level Object Oriented language. However, the authors have found some differences between the current Java Card version (2.1) and main stream ...
E. Denney +15 more
core +2 more sources
Heap . . . Hop! Heap Is Also Vulnerable [PDF]
, 2014 International audienceSeveral logical attacks against Java based smart card have been published recently. Most of them are based on the hypothesis that the type verification was not performed, thus allowing to obtain dynamically a type confusion.
Bouffard, Guillaume +3 more
core +3 more sources
Agraris: Journal of Agribusiness and Rural Development Research, 2020 This research was motivated by the policies of the Central Java provincial government in overcoming the problem of distributing subsidized fertilizers through the farm card program, which in the implementation still had problems, especially at the farmer
Ryan Satya Jorgi +2 more
doaj +1 more source
Al-Bidayah: Jurnal Pendidikan Dasar Islam, 2023 The application of character in the school environment still needs to be developed further. This research tries to implement character values into the learning process.
Zainuddin, Ahmad Shiddiq, Putri Agustina
doaj +1 more source
Sistem Pencatatan Kehadiran Berbasis Java Card
ComTech, 2010 The purposes of this research are to prevent jockey in exams, reduce the occurrence of error in attendance record at practicum or exams, and reduce error in filling students' attendance status to the attendance system.
Lidya Octarina
doaj +1 more source