Trusted Systems [electronic resource] : Third International Conference, INTRUST 2011, Beijing, China, November 27-20, 2011, Revised Selected Papers /

A Flexible Software Development and Emulation Framework for ARM TrustZone -- Mass Transit Ticketing with NFC Mobile Phones --  Some Improvements to the Cost-Based Framework for Analyzing -- Denial of Service Attacks --  Fault Detection of the MacGuffin Cipher against Differential Fault Attack -- Computationally Sound Symbolic Analysis of EAP-TNC Protocol -- A Technique for Remote Detection of Certain Virtual Machine Monitors --  Indifferentiability of Domain Extension Modes for Hash Functions.

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.