Trusted Systems

1. Front Matter

   PDF

2. Invited Talk

   1. On Design of a Trusted Software Base with Support of TPCM

      • Wenchang Shi

      Pages 1-15

3. Secure Storage

   1. External Authenticated Non-volatile Memory with Lifecycle Management for State Protection in Trusted Computing

      • Jan-Erik Ekberg, N. Asokan

      Pages 16-38

   2. A Method for Safekeeping Cryptographic Keys from Memory Disclosure Attacks

      • T. Paul Parker, Shouhuai Xu

      Pages 39-59

4. Attestation

   1. Remote Attestation on Function Execution (Work-in-Progress)

      • Liang Gu, Yueqiang Cheng, Xuhua Ding, Robert H. Deng, Yao Guo, Weizhong Shao

      Pages 60-72

   2. Scalable Remote Attestation with Privacy Protection

      • Tamleek Ali Tanveer, Masoom Alam, Mohammad Nauman

      Pages 73-87

   3. Anonymous Credentials for Java Enabled Platforms: A Performance Evaluation

      • Kurt Dietrich

      Pages 88-103

5. Trusted Network

   1. SocialClouds: Concept, Security Architecture and Some Mechanisms

      • Shouhuai Xu, Moti Yung

      Pages 104-128

   2. Privacy Enhanced Trusted Network Connect

      • Ingo Bente, Joerg Vieweg, Josef von Helden

      Pages 129-145

   3. Research on Multistage Interconnection Architecture and Collision Detection Model

      • Mengmeng Li, Yong Zhao

      Pages 146-155

6. Virtualization

   1. Trusted Virtual Domains – Design, Implementation and Lessons Learned

      • Luigi Catuogno, Alexandra Dmitrienko, Konrad Eriksson, Dirk Kuhlmann, Gianluca Ramunno, Ahmad-Reza Sadeghi et al.

      Pages 156-179

   2. Trusted Integrity Measurement and Reporting for Virtualized Platforms

      • Serdar Cabuk, Liqun Chen, David Plaquin, Mark Ryan

      Pages 180-196

7. Applications

   1. A Feather-Weight Application Isolation Model

      • Jianhua Liao, Yong Zhao, Changxiang Shen

      Pages 197-211

   2. Exploring Trust of Mobile Applications Based on User Behaviors

      • Zheng Yan, Yan Dong, Valtteri Niemi, Guoliang Yu

      Pages 212-226

   3. Trusted Firmware Services Based on TPM

      • Zhenlong Du, Xiaoli Li, Kangkang Shen

      Pages 227-235

8. Supporting Technology

   1. Improved Cryptanalysis of the FOX Block Cipher

      • Zhongming Wu, Yiyuan Luo, Xuejia Lai, Bo Zhu

      Pages 236-249

   2. Bitwise Higher Order Differential Cryptanalysis

      • Bo Zhu, Kefei Chen, Xuejia Lai

      Pages 250-262

9. Back Matter

   PDF

This volume contains the 16 papers presented at the INTRUST 2009 conf- ence, held in Beijing, China in December 2009. INTRUST 2009 was the ?rst international conference on the theory, technologies and applications of trusted systems. It was devoted to all aspects of trusted computing systems, incl- ing trusted modules, platforms, networks, services and applications, from their fundamental features and functionalities to design principles, architecture and implementation technologies. The goal of the conference was to bring academic and industrial researchers, designers and implementers together with end-users of trusted systems, in order to foster the exchange of ideas in this challenging and fruitful area. The program consisted of 3 invited talks and 20 contributed papers. The - vited speakerswere Wenchang Shi (Renmin Universityof China), DavidWooten (Microsoft) and Scott Rotondo (Sun Microsystems). The ?rst speaker provided a paper, which is included in these proceedings. Special thanks are due to these speakers. The contributed talks were arranged with two main tracks, one devoted to academic aspects of trusted computing systems (addressed by these proce- ings), and the other devoted to industrial aspects. The contributed papers were selected out of 42 submissions from 13 countries. The refereeing process was rigorous, involving at least three (and mostly more) independent reports being prepared for each submission. We are very grateful to our hard-working and distinguished Program Committee for doing such an excellent job in a timely fashion.

• Java
• TPCM
• attestation
• cryptanalysis
• privacy
• security
• trust
• trusted computing
• virtual domains
• algorithm analysis and problem complexity

• Hewlett Packard Labs, Bristol, UK

  Liqun Chen

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

  Moti Yung

Policies and ethics