Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks

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.

Klappentext

This volume constitutes the refereed proceedings of the Second IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Smart Devices, Convergence and Next Generation Networks, WISTP 2008, held in Seville, Spain, in May 2008.

The 10 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book; they examine the rapid development of information technologies and the transition to next generation networks. The papers focus on the security of these complex and resource-constrained systems and are organized in topical sections on smart devices, network security, convergence, and cryptography.

Inhalt
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.