This volume constitutes the refereed proceedings of the 7th International Conference on Smart Card Research and Advanced Applications, CARDIS 2006, held in Tarragona, Spain, in April 2006. The 25 revised full papers presented were carefully reviewed and updated for inclusion in this book. The papers are organized in topical sections on smart card applications, side channel attacks, smart card networking, cryptographic protocols, RFID security, and formal methods.

Inhalt

Smart Card Applications.- Design, Installation and Execution of a Security Agent for Mobile Stations.- Towards a Secure and Practical Multifunctional Smart Card.- Implementing Cryptography on TFT Technology for Secure Display Applications.- A Smart Card-Based Mental Poker System.- A Smart Card Solution for Access Control and Trust Management for Nomadic Users.- Smart Cards and Residential Gateways: Improving OSGi Services with Java Cards.- Zero Footprint Secure Internet Authentication Using Network Smart Card.- An Optimistic NBAC-Based Fair Exchange Method for Arbitrary Items.- Side Channel Attacks.- Generic Cryptanalysis of Combined Countermeasures with Randomized BSD Representations.- Amplifying Side-Channel Attacks with Techniques from Block Cipher Cryptanalysis.- Power Analysis to ECC Using Differential Power Between Multiplication and Squaring.- Smart Card Networking.- Designing Smartcards for Emerging Wireless Networks.- Smartcard Firewalls Revisited.- Multi-stage Packet Filtering in Network Smart Cards.- Cryptographic Protocols.- Anonymous Authentication with Optional Shared Anonymity Revocation and Linkability.- SEA: A Scalable Encryption Algorithm for Small Embedded Applications.- Low-Cost Cryptography for Privacy in RFID Systems.- Optimal Use of Montgomery Multiplication on Smart Cards.- Off-Line Group Signatures with Smart Cards.- RFID Security.- Analysis of Power Constraints for Cryptographic Algorithms in Mid-Cost RFID Tags.- Noisy Tags: A Pretty Good Key Exchange Protocol for RFID Tags.- MARP: Mobile Agent for RFID Privacy Protection.- Formal Methods.- Certifying Native Java Card API by Formal Refinement.- A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.- Automatic Test Generation on a (U)SIM Smart Card.