Trusted Systems 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012. Proceedings - Mitchell, Chris J; Tomlinson, Allan (Berlin, Heidelberg : Springer Berlin Heidelberg, 2012)
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.
Keywords: Computer science; Computer communication systems; Computer security; Data encryption (Computer science).; Application software; Computers and civilization; Management information systems