Results 21 to 30 of about 673,528 (247)
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
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
Embedded Eavesdropping on Java Card [PDF]
, 2012 In this article we present the first Combined Attack on a Java Card targeting the APDU buffer itself, thus threatening both the security of the platform and of the hosted applications as well as the privacy of the cardholder. We show that such an attack, which combines malicious application and fault injection, is achievable in practice on the latest ...
Guillaume Barbu +2 more
openaire +1 more source
Java implementation platform for the integrated state- and event-based specification in PROB [PDF]
, 2009 PROB is an animation and model checking tool, which supports integrated event- and state-based specifications combining B and CSP. We present an initial strategy for implementing the combined specification model as a concurrent Java program.
Poppleton, Michael, Yang, Letu
core +1 more source
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Pironti, Alfredo, Sisto, Riccardo
core +1 more source
Research on On-card Bytecode Verifier for Java Cards
Journal of Computers, 2009 The bytecode verification is a key point of the security chain of the Java Platform. This feature is optional in many embedded devices since the memory requirements of the verification process and the process capability of hardware are too high. In this paper we propose a verifier that utilizes the logical flow graph based cache policy and an improved ...
Tongyang Wang +3 more
openaire +1 more source
Java Card Approach to Emulate The Indonesian National Electronic ID Smart Cards
Scientific Journal of Informatics, 2018 This paper presents a successful effort in emulating the Indonesian national electronic ID smart cards using Java Card. The aim is to provide theopportunity for other smart card products to contribute in the national electronic ID program. The life cycle
Dwidharma Priyasta +3 more
doaj +1 more source
Correctness of Java Card Tokenisation [PDF]
, 1999 We present a formalisation of the bytecode optimisation of Sun's Java Card language from the class file to CAP file format as a set of constraints between the two formats and define and prove its correctness. Java Card bytecode is formalised as an abstract operational semantics, which can then be instantiated into the two formats.
Denney, Ewen
core +5 more sources
Digital Zone: Jurnal Teknologi Informasi dan Komunikasi, 2017 Abstrak- Penelitian ini membahas tentang aplikasi portal akademik berbasis mobile, studi kasus pada D3 Manajemen Informatika Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Riau.
Sukamto Sukamto +3 more
doaj +3 more sources