Smart Card Applications Design models for using and programming smart cards

by Rankl, Wolfgang; Cox, Kenneth

• ISBN13: 9780470058824
• ISBN10: 047005882X
• Edition: 1st
• Format: Hardcover
• Copyright: 2007-06-05
• Publisher: WILEY

Summary

A practical guide to the specification, design, and programming of smart card systems for working applications. More than 3 billion smartcards are produced every year. Generally defined as any pocket-sized card with embedded integrated circuits or chips, they have a huge number of applications including travel cards, chip and pin cards, pet tags, mobile phone SIMs and pallet trackers. Now with modern Smart Card technology such as Java Card and Basic Card it is possible for everyone to create his or her own applications on a smart card. This book provides generic solutions for programming smart cards, enabling the creation of working applications and systems. Key features: Presents a comprehensive introduction to the topic of smart cards, explaining component elements and the smart card microcontrollers. Sets out information on operating systems with case studies of a range of applications including credit card security, mobile phones and transport payment cards. Gives detailed advice on the monitoring of smart card applications, recognizing potential attacks on security and improving system integrity. Provides modules and examples so that all types of systems can be built up from a small number of individual components. Offers guidelines on avoiding and overcoming design errors. Ideal for practising engineers and designers looking to implement smart cards in their business, it is also a valuable reference for postgraduate students taking courses on embedded system and smart card design.

Author Biography

Wolfgang Rankl is currently Head of Telecom and Research and Development at Giesecke & Devrient, Germany. He is an experienced author, having written three editions of the book Smart Card Handbook for Wiley (3^rd Edition published 2003), and the German version of this book for Hanser Chipkarten Anwendungen: Entwurfsmuster fur Einsatz und Programmierung con Chipkarten which is due to publish in March this year. He has been dedicated to the development and research of smart card systems since 1990.

Table of Contents

Foreword

Symbols and Notation

Abbreviations

Overview of Smart Cards

Card Classification

Card Formats

Card Elements

Printing and labelling

Embossing

Hologram

Signature panel

Tactile elements

Magnetic stripe

Chip module

Antenna

Smart Card Microcontrollers

Processor

Memory

Supplementary hardware

Electrical characteristics

Smart Card Operating Systems

FileManagement

File types

File names

File structures

File attributes

File selection

Access conditions

State-based access conditions

Rule-based access conditions

File life cycle

Commands

Data Transmission

Answer to Reset (ATR)

Protocol Parameter Selection (PPS)

Transmission protocols

T=0 transmission protocol for contact cards

T=1 transmission protocol for contact cards

USB transmission protocol for contact cards

Contactless transmission protocols

SecureMessaging

Logical channels

Special Operating System Functions

Cryptographic functions

Atomic processes

Interpreter

Application management

Application Areas

Smart Card Systems

Potential Uses

Application Types

Memory-based applications

File-based applications

Code-based applications

Basic Patterns

Data Protection

Definition of terms

General principles

Recommendations for smart card systems

Summary

Export Control

Cryptographic Regulation

Standards

Standards for card bodies

Standards for operating systems

Standards for data and data structuring

Standards for computer interfaces

Standards for applications

Documents for Smart Card Systems

Specification partitioning

System specification

Background system specification

Smart card specification

Terminal specification

Elements of a typical card specification

General information

Smart card

Smart card operating system

Application

Document distribution

Document version numbering

Architecture Patterns

Data

Data Coding

Files

Access conditions

File names

Log Files

Data storage

Assigning data to log files

Invoking logging

Access conditions for log files

Logged data

Consistency and authenticity of log data

Log file size

Logging process

Pairing

Protecting Transaction Data

Reset-proof Counters

Proactivity

Authentication Counter

Manual Authentication of a Terminal

PIN Management

One-time Passwords

Key Management

StateMachines for Command Sequences

Speed Optimization

Computing power

Communication

Commands

Data and files

Implementation Patterns

Application Principles

Programcode

Commands

Data

Security

Application architecture

System

Testing

User-Terminal Interface

Smart Card Commands

Command structure

Interruption of commands

Command coding

Parameterization

Test commands

Secret commands

Java Card

Data types

Arithmetic operations

Control structures

Methods

Applets

Operation Patterns

Initialization and Personalization

Migration

Monitoring

System integrity

Attack detection

Practical Asp

Table of Contents provided by Publisher. All Rights Reserved.