Java On Smart Cards Book

2 Ratings

Java On Smart Cards, , Java On Smart Cards

3 out of 5 stars based on 2 reviews

Java On Smart Cards
Written by author I. Attali
Published by Springer-Verlag New York, LLC, January 2001
This book constitutes the thoroughly refereed post-proceedings of the First International Java Card Workshop held in Cannes, France, in September 2000. The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book tog

Buy Digital USD$99.99

Formal Methods in Context: Security and Java Card 1
A Dynamic Logic for the Formal Verification of Java Card Programs 6
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow 25
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security 38
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations 52
Secure Internet Smartcards 73
Issues in Smartcard Middleware 90
Open Platform Security 98
A Simple(r) Interface Distribution Mechanism for Java Card 114
Automatic Test Generation for Java Card Applets 121
Formal Specification and Verification of Java Card's Application Identifier Class 137
Security on Your Hand: Secure Filesystems with a "Non-cryptographic" JAVA-Ring 151
Author Index 163

Title: Java On Smart Cards

Manufacturer:

Steidl Publishing

Item Number: 9783540421672

Publication Date: January 2001

Number: 1

Product Description: Java On Smart Cards

Universal Product Code (UPC): 9783540421672

WonderClub Stock Keeping Unit (WSKU): 9783540421672

Rating: 3/5 based on 2 Reviews

Image Location: https://wonderclub.com/images/covers/16/72/9783540421672.jpg

Category: Media >> Books

Weight: 0.200 kg (0.44 lbs)

Width: 0.000 cm (0.00 inches)

Heigh : 0.000 cm (0.00 inches)

Depth: 0.000 cm (0.00 inches)

Date Added: August 25, 2020, Added By: Ross

Date Last Edited: August 25, 2020, Edited By: Ross

Price	Condition	Delivery	Seller	Action
$99.99	Digital	Arrives between Apr 23 - May 23 Login to your account for a direct download. Some files are emailed from Dropbox. Continent $0.00 - World $0.00	WonderClub (9295 total ratings)

Question Concerning Java On Smart Cards

Ask a Question about Java On Smart Cards

No Question found!

Read Reviews for Java On Smart Cards Write review

Jim Stewart

reviewed Java On Smart Cards on June 11, 2013

Java On Smart Cards

I like this book. Its a great introduction to developing with Flex 2. I like how it doesnt assume you're going to be using Flex Builder and talks about using the command line tools. The writing is good and easy to follow, the examples are clean.

You must be logged in to add to Wishlist

Java On Smart Cards Book

Book Categories

Authors

Steidl Publishing

Question Concerning Java On Smart Cards

Read Reviews for Java On Smart Cards Write review

Login

Complaints

Blog

Games

Digital Media

Souls

Obituary

Contact Us

FAQ

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

Add Java On Smart Cards, , Java On Smart Cards to the inventory that you are selling on WonderClub

Add Java On Smart Cards, , Java On Smart Cards to your collection on WonderClub

	Formal Methods in Context: Security and Java Card	1
	A Dynamic Logic for the Formal Verification of Java Card Programs	6
	The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow	25
	CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security	38
	A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations	52
	Secure Internet Smartcards	73
	Issues in Smartcard Middleware	90
	Open Platform Security	98
	A Simple(r) Interface Distribution Mechanism for Java Card	114
	Automatic Test Generation for Java Card Applets	121
	Formal Specification and Verification of Java Card's Application Identifier Class	137
	Security on Your Hand: Secure Filesystems with a "Non-cryptographic" JAVA-Ring	151
	Author Index	163