Your SlideShare is downloading. ×
0
JML  ESC/Java case study :
specifying the JavaCard APDU protocol in JML



                  Erik Poll




               ...
The JavaCard platform

  JavaCard platform         JavaCard language        JavaCard
                       =             ...
APDU
APDU
APDU
APDU
APDU
APDU
APDU
APDU
APDU
APDU
APDU
APDU
APDU
Upcoming SlideShare
Loading in...5
×

APDU

955

Published on

Published in: Technology, Education
0 Comments
2 Likes
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
955
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
60
Comments
0
Likes
2
Embeds 0
No embeds

No notes for slide

Transcript of "APDU"

  1. 1. JML ESC/Java case study : specifying the JavaCard APDU protocol in JML Erik Poll 1
  2. 2. The JavaCard platform JavaCard platform JavaCard language JavaCard = + (JCRE) (JCVM) API The JavaCard API provides • some base classes and interfaces, eg. Applet • some OS-like functionality, including the APDU class for communication with the smartcard terminal. 2
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×