TY - BOOK AU - Mitchell,Chris J AU - Tomlinson,Allan TI - Trusted Systems: 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012. Proceedings SN - 9783642353710 PY - 2012/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer communication systems KW - Computer security KW - Data encryption (Computer science) KW - Application software KW - Computers and civilization KW - Management information systems N1 - Automatic Analysis of Security Properties of the TPM -- Stamp and Extend - Instant But Undeniable Timestamping Based on Lazy Trees -- Secure Implementation of Asynchronous Method Calls and Futures -- Establishing Trust between Nodes in Mobile Ad-Hoc Networks -- Panel Discussion: Mobile Device Trust - How Do We Link Social Needs, Technical Requirements, Techniques and Standards? -- Security in the Distributed Internet of Things -- A Multi-criteria-Based Evaluation of Android Applications -- Security Analysis of an Open Car Immobilizer Protocol Stack -- A Static Diffie-Hellman Attack on Several Direct Anonymous Attestation Schemes -- The Yin and Yang Sides of Embedded Security UR - http://dx.doi.org/10.1007/978-3-642-35371-0 ER -