Trusted systems : 4th international conference, INTRUST 2012, London, UK, December 17-18, 2012 : proceedings / monograph

This book constitutes the refereed proceedings of the International Conference on Trusted Systems, INTRUST 2012, held in London, UK, in December 2012. The 6 revised full papers presented together with 3 short invited papers and a short paper which formed the basis for a panel session were carefully reviewed and selected from 19 submissions. The papers are organized in topical section on automated analysis, security and trust, mobile trust, security of distributed systems, evaluation and analysis, and embedded security. Front Matter....Pages - Automatic Analysis of Security Properties of the TPM....Pages 1-4 Stamp and Extend – Instant But Undeniable Timestamping Based on Lazy Trees....Pages 5-24 Secure Implementation of Asynchronous Method Calls and Futures....Pages 25-47 Establishing Trust between Nodes in Mobile Ad-Hoc Networks....Pages 48-62 Panel Discussion: Mobile Device Trust — How Do We Link Social Needs, Technical Requirements, Techniques and Standards?....Pages 63-64 Security in the Distributed Internet of Things....Pages 65-66 A Multi-criteria-Based Evaluation of Android Applications....Pages 67-82 Security Analysis of an Open Car Immobilizer Protocol Stack....Pages 83-94 A Static Diffie-Hellman Attack on Several Direct Anonymous Attestation Schemes....Pages 95-111 The Yin and Yang Sides of Embedded Security....Pages 112-115 Back Matter....Pages - This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Trusted Systems, INTRUST 2013, held in Graz, Austria, in December 2013.