Sciweavers

205 search results - page 12 / 41
» Transactions in Java Card
Sort
View
ACSAC
2005
IEEE
15 years 3 months ago
Privacy Requirements Implemented with a JavaCard
Privacy is extremely important in healthcare systems. Unfortunately, most of the solutions already deployed are developed empirically. After discussing some of such existing solut...
Anas Abou El Kalam, Yves Deswarte
TPHOL
2003
IEEE
15 years 2 months ago
Using Coq to Verify Java Card Applet Isolation Properties
June Andronick, Boutheina Chetali, Olivier Ly
DSN
2002
IEEE
15 years 2 months ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet
VLSID
2000
IEEE
89views VLSI» more  VLSID 2000»
15 years 2 months ago
Specification and Design of a Quasi-Delay-Insensitive Java Card
Fu-Chiung Cheng, Chuin-Ren Wang
CARDIS
2000
Springer
75views Hardware» more  CARDIS 2000»
15 years 2 months ago
A Performance Comparison of Java Cards for Micropayment Implementation
Jordi Castellà-Roca, Josep Domingo-Ferrer, ...