Trusted Systems

1. Front Matter

   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

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.

• document protection
• network security
• risk assessment
• surveillance
• virtual private networks
• algorithm analysis and problem complexity

• Hewlett-Packard Labs, Bristol, UK

  Liqun Chen

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

  Moti Yung

Policies and ethics