04480nam 22007935 450 99646596420331620210430144518.03-642-35371-110.1007/978-3-642-35371-0(CKB)3400000000102905(SSID)ssj0000880085(PQKBManifestationID)11546676(PQKBTitleCode)TC0000880085(PQKBWorkID)10873280(PQKB)10173530(DE-He213)978-3-642-35371-0(MiAaPQ)EBC3068791(PPN)168328534(EXLCZ)99340000000010290520121214d2012 u| 0engurnn#008mamaatxtccrTrusted Systems 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012, Proceedings /edited by Chris J. Mitchell, Allan Tomlinson1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (X, 117 p. 20 illus.)Security and Cryptology ;7711Bibliographic Level Mode of Issuance: Monograph3-642-35370-3 Includes bibliographical references and index.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.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.Security and Cryptology ;7711Seguridad informáticaData encryption (Computer science)Management information systemsComputer scienceComputer communication systemsComputers and civilizationApplication softwareSystems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Cryptologyhttps://scigraph.springernature.com/ontologies/product-market-codes/I28020Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Computers and Societyhttps://scigraph.springernature.com/ontologies/product-market-codes/I24040Computer Appl. in Administrative Data Processinghttps://scigraph.springernature.com/ontologies/product-market-codes/I2301XSeguridad informáticaData encryption (Computer science).Management information systems.Computer science.Computer communication systems.Computers and civilization.Application software.Systems and Data Security.Cryptology.Management of Computing and Information Systems.Computer Communication Networks.Computers and Society.Computer Appl. in Administrative Data Processing.005.8Mitchell Chris Jedthttp://id.loc.gov/vocabulary/relators/edtTomlinson Allanedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465964203316Trusted Systems2556477UNISA