205 search results - page 6 / 41 » Transactions in Java Card |
CASES
2009
ACM
14 years 14 days ago
2009
ACM
Security of smart cards is continuously threatened by many software and hardware attacks. Those attacks focus on giving secret information that are stored in the card like PIN cod...
ENTCS
2008
13 years 7 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
FC
2007
Springer
14 years 1 months ago
2007
Springer
Theft of stored credit card information is an increasing threat to e-commerce. We propose a dynamic virtual credit card number scheme that reduces the damage caused by stolen credi...
ICTAI
1999
IEEE
14 years 2 days ago
1999
IEEE
The prevention of credit card fraud is an important application for prediction techniques. One major obstacle for using neural network training techniques is the high necessary di...
COST
2009
Springer
14 years 2 months ago
2009
Springer
Currently it is possible to implement Biometric Passport applets according to ICAO specifications. In this paper, an ePassport Java Card applet , according to ICAO specifications u...