APDU
Upcoming SlideShare
Loading in...5
×

Like this? Share it with your network

Share
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
No Downloads

Views

Total Views
1,212
On Slideshare
1,212
From Embeds
0
Number of Embeds
0

Actions

Shares
Downloads
55
Comments
0
Likes
1

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 1. JML & ESC/Java case study : specifying the JavaCard APDU protocol in JML Erik Poll 1
  • 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