دانلود کتاب Trusted Systems: Third International Conference, INTRUST 2011, Beijing, China, November 27-29, 2011, Revised Selected Papers

فهرست مطالب :

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 -