Trusted Systems: Third International Conference, INTRUST 2011, Beijing, China, November 27-29, 2011, Revised Selected Papers

Description

This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Trusted Systems, INTRUST 2011, held in Beijing, China, in November 2011. The 21 revised full papers were carefully reviewed and selected from 34 submissions for inclusion in the book. Except these contributed papers the program of INTRUST also consisted of a workshop titled Asian Lounge on Trust, Security and Privacy consisting of six keynote speeches. The papers are organized in topical sections on trusted services, mobile trusted systems, security analysis, cryptographic aspects, trusted networks, implementation, and direct anonymous attestation. Front Matter....Pages - A Flexible Software Development and Emulation Framework for ARM TrustZone....Pages 1-15 Building General Purpose Security Services on Trusted Computing....Pages 16-31 Enforcing Sticky Policies with TPM and Virtualization....Pages 32-47 Mass Transit Ticketing with NFC Mobile Phones....Pages 48-65 Anonymous Ticketing for NFC-Enabled Mobile Phones....Pages 66-83 Some Improvements to the Cost-Based Framework for Analyzing Denial of Service Attacks....Pages 84-101 Fault Detection of the MacGuffin Cipher against Differential Fault Attack....Pages 102-112 Computationally Sound Symbolic Analysis of EAP-TNC Protocol....Pages 113-128 A Technique for Remote Detection of Certain Virtual Machine Monitors....Pages 129-137 Indifferentiability of Domain Extension Modes for Hash Functions....Pages 138-155 Multicollisions and Graph-Based Hash Functions....Pages 156-167 A General, Flexible and Efficient Proof of Inclusion and Exclusion....Pages 168-183 MQQ-SIG....Pages 184-203 Multifactor Authenticated Key Renewal....Pages 204-220 Restricted Identification Scheme and Diffie-Hellman Linking Problem....Pages 221-238 Mixed-Strategy Game Based Trust Management for Clustered Wireless Sensor Networks....Pages 239-257 Hash Chains at the Basis of a Secure Reactive Routing Protocol....Pages 258-270 Evaluation of a PUF Device Authentication Scheme on a Discrete 0.13um SRAM....Pages 271-288 A Performance Analysis of Identity-Based Encryption Schemes....Pages 289-303 A (Corrected) DAA Scheme Using Batch Proof and Verification....Pages 304-337 DAA Protocol Analysis and Verification....Pages 338-350 Back Matter....Pages -