Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems

1. Front Matter

   PDF

2. Mobility

   1. A Smart Card Based Distributed Identity Management Infrastructure for Mobile Ad Hoc Networks

      • Eve Atallah, Serge Chaumette

      Pages 1-13

   2. A New Resilient Key Management Protocol for Wireless Sensor Networks

      • Chakib Bekara, Maryline Laurent-Maknavicius

      Pages 14-26

3. Hardware and Cryptography I

   1. Efficient Use of Random Delays in Embedded Software

      • Michael Tunstall, Olivier Benoit

      Pages 27-38

   2. Enhanced Doubling Attacks on Signed-All-Bits Set Recoding

      • HeeSeok Kim, Tae Hyun Kim, Jeong Choon Ryoo, Dong-Guk Han, Ho Won Kim, Jongin Lim

      Pages 39-52

4. Privacy

   1. Securing the Distribution and Storage of Secrets with Trusted Platform Modules

      • Paul E. Sevinç, Mario Strasser, David Basin

      Pages 53-66

   2. Distributed Certified Information Access for Mobile Devices

      • Aniello Del Sorbo, Clemente Galdi, Giuseppe Persiano

      Pages 67-79

5. Cryptography Scheme

   1. Linkability of Some Blind Signature Schemes

      • Swee-Huay Heng, Wun-She Yap, Khoongming Khoo

      Pages 80-89

   2. Optimistic Non-repudiation Protocol Analysis

      • Judson Santiago, Laurent Vigneron

      Pages 90-101

   3. Secure Remote User Authentication Scheme Using Bilinear Pairings

      • Eun-Jun Yoon, Wan-Soo Lee, Kee-Young Yoo

      Pages 102-114

   4. Cryptanalysis of Some Proxy Signature Schemes Without Certificates

      • Wun-She Yap, Swee-Huay Heng, Bok-Min Goi

      Pages 115-126

6. Smart Card

   1. Performance Evaluation of Java Card Bytecodes

      • Pierre Paradinas, Julien Cordry, Samia Bouzefrane

      Pages 127-137

   2. Reverse Engineering Java Card Applets Using Power Analysis

      • Dennis Vermoen, Marc Witteman, Georgi N. Gaydadjiev

      Pages 138-149

   3. An Embedded System for Practical Security Analysis of Contactless Smartcards

      • Timo Kasper, Dario Carluccio, Christof Paar

      Pages 150-160

   4. A Comparative Analysis of Common Threats, Vulnerabilities, Attacks and Countermeasures Within Smart Card and Wireless Sensor Network Node Technologies

      • Kevin Eagles, Konstantinos Markantonakis, Keith Mayes

      Pages 161-174

7. Small Devices

   1. Mobile Phones as Secure Gateways for Message-Based Ubiquitous Communication

      • Walter Bamberger, Oliver Welter, Stephan Spitz

      Pages 175-188

   2. An Information Flow Verifier for Small Embedded Systems

      • Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl

      Pages 189-201

   3. Survey and Benchmark of Stream Ciphers for Wireless Sensor Networks

      • Nicolas Fournel, Marine Minier, Stéphane Ubéda

      Pages 202-214

8. Hardware and Cryptography II

   1. Fault Attacks for CRT Based RSA: New Attacks, New Results, and New Countermeasures

      • Chong Hee Kim, Jean-Jacques Quisquater

      Pages 215-228

   2. CRT RSA Algorithm Protected Against Fault Attacks

      • Arnaud Boscher, Robert Naciri, Emmanuel Prouff

      Pages 229-243

With the rapid technological development of information technology, computer systems and especially embedded systems are becoming more mobile and ub- uitous. Ensuring the security of these complex and yet resource-constraineds- temshasemergedasoneofthemostpressingchallengesforresearchers.Although there are a number of information security conferences that look at particular aspects of the challenge, we decided to create the Workshop in Information - curity Theory and Practices (WISTP) to consider the problem as a whole. In additiontheworkshopaimsto bringtogetherresearchersandpractitionersin- lated disciplines and encourage interchange and practical co-operation between academia and industry. Although this is the ?rst ever WISTP event, the response from researchers wassuperbwithover68paperssubmittedforpotentialinclusionintheworkshop and proceedings. The submissions were reviewed by at least three reviewers, in most cases by four, and for program committee (PC) papers at least ?ve reviewers. This long and rigorous process was only possible thanks to the hard work of the PC members and additional reviewers, listed in the following pages. We would like to express our gratitude to the PC members, who were very supportive from the very beginning of this project. Thanks are also due to the additional expert reviewers who helped the PC to select the ?nal 20 workshop papers for publication in the proceedings. Of course we highly appreciate the e?orts of all the authors who submitted papers to WISTP 2007. We hope they will contribute again to a future edition and encourage others to do so.

• authentication
• auto-administration
• benchmarks
• bilinear pairings
• blind signature
• communication security
• cryptanalysis
• cryptographic protocols
• cryptography
• data security
• information security
• java cards
• privacy
• smart card
• ubiquitous computing

Policies and ethics