Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices : 4th IFIP WG 11. 2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010, Proceedings

by Samarati, Pierangela; Tunstall, Michael; Posegga, Joachim; Markantonakis, Konstantinos

• ISBN13: 9783642123672
• ISBN10: 3642123678
• Format: Paperback
• Copyright: 2010-04-15
• Publisher: Springer-Verlag New York Inc

Summary

This volume constitutes the refereed proceedings of the 4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices, WISTP 2010, held in Passau, Germany, in April 2010. The 20 revised full papers and 10 short papers were carefully reviewed and selected from 69 submissions. They are organized in topical sections on embedded security, protocols, highly constrained embedded systems, security, smart card security, algorithms, hardware implementations, embedded systems and anonymity/database security.

Table of Contents

Embedded Security
Efficient and Effective Buffer Overflow Protection on ARM Processors	p. 1
Efficient Entropy Estimation for Mutual Information Analysis Using B-Splines	p. 17
A Probabilistic Diffusion Scheme for Anomaly Detection on Smartphones	p. 31
A Smart Card Implementation of the McEliece PKC	p. 47
Evaluation Metrics of Physical Non-invasive Security	p. 60
Protocols
Trust in Peer-to-Peer Content Distribution Protocols	p. 76
Generic Constructions of Biometric Identity Based Encryption Systems	p. 90
Design and Analysis of a Generalized Canvas Protocol	p. 106
Highly Constrained Embedded Systems
Efficient Mutual Authentication for Multi-domain RFID Systems Using Distributed Signatures	p. 122
Practical Schemes for Privacy and Security Enhanced RFID (Extended Abstract)	p. 138
MoteAODV - An AODV Implementation for TinyOS 2.0	p. 154
Security
Random Number Generation Based on Fingerprints	p. 170
Improvements of pan-European IDM Architecture to Enable Identity Delegation Based on X.509 Proxy Certificates and SAML	p. 183
Fraud Detection for Voice over IP Services on Next-Generation Networks	p. 199
Smart Card Security
Proxy Smart Card Systems	p. 213
Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract?	p. 221
Website Credential Storage and Two-Factor Web Authentication with a Java SIM	p. 229
Algorithms
Attribute-Based Encryption with Break-Glass	p. 237
On the Security of a Two-Factor Authentication Scheme	p. 245
The Design of Secure and Efficient P2PSIP Communication Systems	p. 253
Hardware Implementations
Novel FPGA-Based Signature Matching for Deep Packet Inspection	p. 261
Towards Electrical, Integrated Implementations of SIMPL Systems	p. 227
A Very Compact Hardware Implementation of the KASUMI Block Cipher	p. 293
Embedded Systems
Secure and Usable Out-Of-Band Channels for Ad Hoc Mobile Device Interactions	p. 308
Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions	p. 316
Security Analysis of Mobile Phones Used as OTP Generators	p. 324
An Energy-Efficient Symmetric Cryptography Based Authentication Scheme for Wireless Sensor Networks	p. 332
Anonymity/Database Security
The Market Failure of Anonymity Services	p. 340
Exploiting Node Mobility for Coordinating Data Usage in Crisis Scenarios	p. 355
Predicting and Preventing Insider Threat in Relational Database Systems	p. 368
Author Index	p. 385
Table of Contents provided by Ingram. All Rights Reserved.