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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Chen, Liqun (Editor), Yung, Moti (Editor), Zhu, Liehuang (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7222
• Subjects: Computer science.; Computer communication systems.; Computer security.; Data encryption (Computer science).; Application software.; Computers and civilization.; Management information systems.; Computer Science.; Systems and Data Security.; Data Encryption.; Management of Computing and Information Systems.; Computer Communication Networks.; Computers and Society.; Computer Appl. in Administrative Data Processing.

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

Table of Contents:

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