1.

Record Nr.

UNISA996465964203316

Titolo

Trusted Systems : 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012, Proceedings / / edited by Chris J. Mitchell, Allan Tomlinson

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012

ISBN

3-642-35371-1

Edizione

[1st ed. 2012.]

Descrizione fisica

1 online resource (X, 117 p. 20 illus.)

Collana

Security and Cryptology ; ; 7711

Disciplina

005.8

Soggetti

Seguridad informática

Data 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

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

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.

Sommario/riassunto

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.