Skip to main content
SpringerLink
Log in

Trusted Systems

Second International Conference, INTRUST 2010, Beijing, China, December 13-15, 2010, Revised Selected Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Liqun Chen

    1. Hewlett-Packard Labs, Bristol, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Moti Yung

    1. Google Inc. and Department of Computer Science, Columbia University, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Unique visibility
  • State- of-the- art research
  • Fast-track conference proceedings

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

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: INTRUST 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Implementation Technology

    1. Seamless Integration of Trusted Computing into Standard Cryptographic Frameworks

      • Andreas Reiter, Georg Neubauer, Michael Kapfenberger, Johannes Winter, Kurt Dietrich
      Pages 1-25

    2. Design and Implementation of Document Access Control Model Based on Role and Security Policy

      • Liangjian Mao, Shuzhen Yao, Kai Zhang, Kouichi Sakurai
      Pages 26-36

    3. Towards High-Performance IPsec on Cavium OCTEON Platform

      • Jinli Meng, Xinming Chen, Zhen Chen, Chuang Lin, Beipeng Mu, Lingyun Ruan
      Pages 37-46

  3. Security Analysis

    1. An Abstract Model of a Trusted Platform

      • Cornelius Namiluko, Andrew Martin
      Pages 47-66

    2. Modeling TCG-Based Secure Systems with Colored Petri Nets

      • Liang Gu, Yao Guo, Yanjiang Yang, Feng Bao, Hong Mei
      Pages 67-86

    3. Information Flow Graph: An Approach to Identifying Covert Storage Channels

      • Xiangmei Song, Shiguang Ju, Changda Wang, Conghua Zhou
      Pages 87-97

    4. Trusted Subjects Configuration Based on TE Model in MLS Systems

      • Shangjie Li, Yeping He
      Pages 98-107

  4. Cryptographic Aspects (I)

    1. Key Exchange with Anonymous Authentication Using DAA-SIGMA Protocol

      • Jesse Walker, Jiangtao Li
      Pages 108-127

    2. Revocation of Direct Anonymous Attestation

      • Liqun Chen, Jiangtao Li
      Pages 128-147

    3. Measuring Random Tests by Conditional Entropy and Optimal Execution Order

      • Jialin Huang, Xuejia Lai
      Pages 148-159

  5. Cryptographic Aspects (II)

    1. Leakage Resilient Strong Key-Insulated Signatures in Public Channel

      • Le Trieu Phong, Shin’ichiro Matsuo, Moti Yung
      Pages 160-172

    2. Two-Head Dragon Protocol: Preventing Cloning of Signature Keys

      • PrzemysÅ‚aw BÅ‚aÅ›kiewicz, PrzemysÅ‚aw Kubiak, MirosÅ‚aw KutyÅ‚owski
      Pages 173-188

    3. Addressing Leakage of Re-encryption Key in Proxy Re-encryption Using Trusted Computing

      • Yanjiang Yang, Liang Gu, Feng Bao
      Pages 189-199

  6. Mobile Trusted Systems

    1. Can Hand-Held Computers Still Be Better Smart Cards?

      • Sandeep Tamrakar, Jan-Erik Ekberg, Pekka Laitinen, N. Asokan, Tuomas Aura
      Pages 200-218

    2. TruWalletM: Secure Web Authentication on Mobile Platforms

      • Sven Bugiel, Alexandra Dmitrienko, Kari Kostiainen, Ahmad-Reza Sadeghi, Marcel Winandy
      Pages 219-236

    3. A Game Theory-Based Surveillance Mechanism against Suspicious Insiders in MANETs

      • Dong Hao, Yizhi Ren, Kouichi Sakurai
      Pages 237-252

  7. Hardware Security

    1. Hardware Trojans for Inducing or Amplifying Side-Channel Leakage of Cryptographic Software

      • Jean-François Gallais, Johann Großschädl, Neil Hanley, Markus Kasper, Marcel Medwed, Francesco Regazzoni et al.
      Pages 253-270

    2. An Emerging Threat: Eve Meets a Robot

      • Kahraman D. Akdemir, Deniz Karakoyunlu, Taskin Padir, Berk Sunar
      Pages 271-289

  8. Attestation

    1. On Leveraging Stochastic Models for Remote Attestation

      • Tamleek Ali, Mohammad Nauman, Xinwen Zhang
      Pages 290-301
Back to top

Other volumes

  1. Trusted Systems

Keywords

About this book

This book constitutes the proceedings of the International Conference on Trusted Systems, held in Beijing, China, in December 2010.The 23 contributed papers presented together with nine invited talks from a workshop, titled "Asian Lounge on Trust, Security and Privacy" were carefully selected from 66 submissions. The papers are organized in seven topical sections on implentation technology, security analysis, cryptographic aspects, mobile trusted systems, hardware security, attestation, and software protection.

Editors and Affiliations

  • Hewlett-Packard Labs, Bristol, UK

    Liqun Chen

  • Google Inc. and Department of Computer Science, Columbia University, USA

    Moti Yung

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation