Java on Smart Cards: Programming and Security
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Formal Methods in Context: Security and Java Card
-
Altmetric BadgeChapter 2 A Dynamic Logic for the Formal Verification ofJava Card Programs
-
Altmetric BadgeChapter 3 The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow
-
Altmetric BadgeChapter 4 CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security
-
Altmetric BadgeChapter 5 A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations
-
Altmetric BadgeChapter 6 Secure Internet Smartcards
-
Altmetric BadgeChapter 7 Issues in Smartcard Middleware
-
Altmetric BadgeChapter 8 Open Platfom Security
-
Altmetric BadgeChapter 9 A Simple(r) Interface Distribution Mechanism for Java Card
-
Altmetric BadgeChapter 10 Automatic Test Generation for Java Card Applets
-
Altmetric BadgeChapter 11 Formal Specification and Verification of Java Card’s Application Identifier Class
-
Altmetric BadgeChapter 12 Security on Your Hand: Secure Filesystems with a “Non-cryptographic” JAVA-Ring