Search Sciweavers | Sciweavers

205 search results - page 12 / 41

» Transactions in Java Card

137

click to vote

ACSAC
2005
IEEE

126views Security Privacy» more ACSAC 2005»

Privacy Requirements Implemented with a JavaCard

15 years 10 months ago

Download www.acsac.org

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

claim paper

Read More »

click to vote

TPHOL
2003
IEEE

125views Automated Reasoning» more TPHOL 2003»

Using Coq to Verify Java Card Applet Isolation Properties

15 years 10 months ago

Download www.imamu.edu.sa

June Andronick, Boutheina Chetali, Olivier Ly

claim paper

Read More »

123

click to vote

DSN
2002
IEEE

103views Computer Networks» more DSN 2002»

Formal Development of an Embedded Verifier for Java Card Byte Code

15 years 9 months ago

Download www.gemplus.com

Ludovic Casset, Lilian Burdy, Antoine Requet

claim paper

Read More »

123

click to vote

VLSID
2000
IEEE

89views VLSI» more VLSID 2000»

Specification and Design of a Quasi-Delay-Insensitive Java Card

15 years 9 months ago

Download www.cse.ttu.edu.tw

Fu-Chiung Cheng, Chuin-Ren Wang

claim paper

Read More »

106

click to vote

CARDIS
2000
Springer

75views Hardware» more CARDIS 2000»

A Performance Comparison of Java Cards for Micropayment Implementation

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers