Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems
Subtitle: 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings
By: edited by Lorenzo Cavallaro, Dieter Gollmann
Contributors: Gollmann, Dieter; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7886
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2013
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 145
ISBN-13: 9783642385308
Subjects: Data encryption (Computer science); Software engineering; Systems and Data Security; Computer network architectures; Computer System Implementation; Data protection; Computer Science, general; Computer Communication Networks; Data Encryption; Computer science; Special Purpose and Application-Based Systems
Description: This volume constitutes the refereed proceedings of the 7th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Mobile Devices in Wireless Communication, WISTP 2013, held in Heraklion, Crete, Greece, in May 2013. The 9 revised full papers presented together with  two keynote speeches were carefully reviewed and selected from 19 submissions. The scope of the workshop spans the theoretical aspects of cryptography and cryptanalysis, mobile security, smart cards and embedded devices.
Table of contents: title: Cryptography and Cryptanalysis; title: Multiplicative Homomorphic E-Auction with Formally Provable Security; title: Malleable Signatures for Resource Constrained Platforms; title: Cryptographic Key Exchange in IPv6-Based Low Power, Lossy Networks; title: Mobile Security; title: URANOS: User-Guided Rewriting for Plugin-Enabled Android ApplicatiOn Security; title: Online Banking with NFC-Enabled Bank Card and NFC-Enabled Smartphone; title: Smart Cards and Embedded Devices; title: A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards; title: A Forward Privacy Model for RFID Authentication Protocols; title: On Secure Embedded Token Design: Quasi-looped Yao Circuits and Bounded Leakage; title: Lightweight Authentication Protocol for Low-Cost RFID Tags.