↓ Skip to main content
What is this page? Embed badge

Java on Smart Cards: Programming and Security

Overview of attention for book
Cover of 'Java on Smart Cards: Programming and Security'

Table of Contents

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

Readers on

mendeley
2 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security
Chapter number 4
Book title
Java on Smart Cards:Programming and Security
Published by
Springer, Berlin, Heidelberg, January 2001
DOI 10.1007/3-540-45165-x_4
Book ISBNs
978-3-54-042167-2, 978-3-54-045165-5
Authors

Rajeev Goré, Lan Duy Nguyen, Goré, Rajeev, Nguyen, Lan Duy

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Italy 1 50%
Unknown 1 50%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Researcher 1 50%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.