Results 31 to 40 of about 548,955 (324)
Java Card Virtual Machine Compromising from a Bytecode Verified Applet
Smart Card Research and Advanced Application Conference, 2016 Julien Lancia, Guillaume Bouffard
openalex +3 more sources
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
A protocol for programmable smart cards [PDF]
, 2003 This paper presents an open protocol for interoperability across multi-vendor programmable smart cards. It allows exposition of on-card storage and cryptographic services to host applications in a unified, card-independent way.
Corcoran, David +2 more
core +1 more source
The Automation of Java Smart Card Using Negative Testing
International Journal of Computing and Digital Systems, 2022 : Negative Testing verifies the behavior of the system under test by providing invalid inputs. In this research, we applied the boundary values analysis technique on Java Smart Card Applications.
Amena Bataineh +3 more
semanticscholar +1 more source
Procedure-modular specification and verification of temporal safety properties [PDF]
, 2015 This paper describes ProMoVer, a tool for fully automated procedure-modular verification of Java programs equipped with method-local and global assertions that specify safety properties of sequences of method invocations.
Gurov, Dilian +2 more
core +3 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
A series of small-scale atmospheric datasets observed in south of Java, Pangandaraan Bay, Indonesia
Data in Brief, 2023 This paper presents a collection of small-scale atmospheric datasets obtained from a PCE-FWS 20 N weather station in Pangandaraan, a region situated in the southern part of Java Island.
Noir P. Purba +6 more
doaj +1 more source
CardS4: modal theorem proving on Java smart cards
Journal of Telecommunications and Information Technology, 2002 We describe a successful implementation of a theorem prover for modal logic S4 that runs on a Java smart card with only 512 KBytes of RAM and 32 KBytes of EEPROM.
Rajeev Prabhakar Goré +1 more
doaj +1 more source
On-Card Bytecode Verification for Java Card [PDF]
, 2001 This paper presents a novel approach to the problem of bytecode verification for Java Card applets. Owing to its low memory requirements, our verification algorithm is the first that can be embedded on a smart card, thus increasing tremendously the security of post-issuance downloading of applets on Java Cards.
openaire +2 more sources
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 +3 more sources