Trusted Systems

4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012. Proceedings

  • Chris J. Mitchell
  • Allan Tomlinson
Conference proceedings INTRUST 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7711)

Table of contents

  1. Front Matter
  2. Session 1: Automated Analysis

  3. Session 2: Security and Trust

    1. Łukasz Krzywiecki, Przemysław Kubiak, Mirosław Kutyłowski
      Pages 5-24
    2. Nicolai Kuntze, Carsten Rudolph, Janne Paatero
      Pages 48-62
  4. Session 3: Mobile Trust

  5. Session 4: Security of Distributed Systems

    1. Rodrigo Roman, Javier Lopez
      Pages 65-66
  6. Session 5: Evaluation and Analysis

    1. Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
      Pages 67-82
    2. Stefan Tillich, Marcin Wójcik
      Pages 83-94
    3. Ernie Brickell, Liqun Chen, Jiangtao Li
      Pages 95-111
  7. Session 6: Embedded Security

    1. Christof Paar
      Pages 112-115
  8. Back Matter

About these proceedings


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.


embedded security internet of things mobile ad-hoc networks trustworthiness undeniability

Editors and affiliations

  • Chris J. Mitchell
    • 1
  • Allan Tomlinson
    • 1
  1. 1.Information Security GroupUniversity of LondonEghamUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35370-3
  • Online ISBN 978-3-642-35371-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software