Description
Springer Information Security Theory And Practices. Smart Devices2008 Edition by José A. Onieva Damien Sauveron Serge Chaumette
With the rapid development of information technologies and the transition to next-generation networks computer systems and in particular embedded s- tems are becoming more and more mobile and ubiquitous. They also strongly interact with the physical world. Ensuring the security of these complex and resource-constrained systems is a really challenging research topic. Therefore this Workshop in Information Security Theory and Practices was organized to bring together researchers and practitioners in related areas and to encourage cooperation between the research and the industrial communities. This was the second edition of WISTP after the ?rst event in Heraklion Greece in 2007. This year again we had a signi?cant number of high-quality submissions coming from many di?erent countries. These submissions re?ected the major topics of the conference i. e. smart devices convergence and ne- generation networks. Submissions were reviewed by at least three reviewers in most cases by four and at least by ?ve for the papers involving Program C- mittee members. This long and rigorousprocess could be achievedthanks to the hard work of the Program Committee members and additional reviewers listed in the following pages. This led to the selection of high-quality papers that made up the workshop program and are published in these proceedings. A number of posters and short papers were also selected for presentation at the conference. The process was very selective and we would like to thank all those authors who submitted contributions that could not be selected. Table of contents : Smart Devices.- Untraceability of RFID Protocols.- A Graphical PIN Authentication Mechanism with Applications to Smart Cards and Low-Cost Devices.- Software Cannot Protect Software: An Argument for Dedicated Hardware in Security and a Categorization of the Trustworthiness of Information.- Network Security.- Probabilistic Identification for Hard to Classify Protocol.- A Self-certified and Sybil-Free Framework for Secure Digital Identity Domain Buildup.- Availability for DHT-Based Overlay Networks with Unidirectional Routing.- Convergence.- Network Smart Card Performing U(SIM) Functionalities in AAA Protocol Architectures.- Using TPMs to Secure Vehicular Ad-Hoc Networks (VANETs).- Cryptography.- Algebra for Capability Based Attack Correlation.- On the BRIP Algorithms Security for RSA.