Information Security and Cryptology

1. Front Matter

   PDF

2. Invited Talks

   1. On Bluetooth Repairing: Key Agreement Based on Symmetric-Key Cryptography

      • Serge Vaudenay

      Pages 1-9

   2. You Can Prove So Many Things in Zero-Knowledge

      • Giovanni Di Crescenzo

      Pages 10-27

3. Identity Based Cryptography

   1. Improvements on Security Proofs of Some Identity Based Encryption Schemes

      • Rui Zhang, Hideki Imai

      Pages 28-41

   2. An ID-Based Verifiable Encrypted Signature Scheme Based on Hess’s Scheme

      • Chunxiang Gu, Yuefei Zhu

      Pages 42-52

   3. ID-Based Signature Scheme Without Trusted PKG

      • Jian Liao, Junfang Xiao, Yinghao Qi, Peiwei Huang, Mentian Rong

      Pages 53-62

4. Security Modelling

   1. Specifying Authentication Using Signal Events in CSP

      • Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider

      Pages 63-74

   2. Modeling RFID Security

      • Xiaolan Zhang, Brian King

      Pages 75-90

5. Systems Security

   1. Enforcing Email Addresses Privacy Using Tokens

      • Roman Schlegel, Serge Vaudenay

      Pages 91-100

   2. Efficient Authentication of Electronic Document Workflow

      • Yongdong Wu

      Pages 101-112

6. Signature Schemes

   1. Practical Strong Designated Verifier Signature Schemes Based on Double Discrete Logarithms

      • Raylin Tso, Takeshi Okamoto, Eiji Okamoto

      Pages 113-127

   2. Efficient Group Signatures from Bilinear Pairing

      • Xiangguo Cheng, Huafei Zhu, Ying Qiu, Xinmei Wang

      Pages 128-139

   3. Enhanced Aggregate Signatures from Pairings

      • Zuhua Shao

      Pages 140-149

   4. Constructing Secure Proxy Cryptosystem

      • Yuan Zhou, Zhenfu Cao, Zhenchuan Chai

      Pages 150-161

7. Symmetric Key Mechanisms

   1. Towards a General RC4-Like Keystream Generator

      • Guang Gong, Kishan Chand Gupta, Martin Hell, Yassir Nawaz

      Pages 162-174

   2. HCTR: A Variable-Input-Length Enciphering Mode

      • Peng Wang, Dengguo Feng, Wenling Wu

      Pages 175-188

   3. The kth-Order Quasi-Generalized Bent Functions over Ring Z _p

      • Jihong Teng, Shiqu Li, Xiaoying Huang

      Pages 189-201

   4. A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences

      • Shimin Wei, Guolong Chen, Guozhen Xiao

      Pages 202-209

8. Zero-Knowledge and Secure Computations

   1. An Unbounded Simulation-Sound Non-interactive Zero-Knowledge Proof System for NP

      • Hongda Li, Bao Li

      Pages 210-220

   2. An Improved Secure Two-Party Computation Protocol

      • Yu Yu, Jussipekka Leiwo, Benjamin Premkumar

      Pages 221-232

The ?rst SKLOIS Conference on Information Security and Cryptography(CISC 2005) was organized by the State Key Laboratory of Information Security of the Chinese Academy of Sciences. It was held in Beijing, China, December 15-17,2005andwassponsoredbytheInstituteofSoftware,theChineseAcademy of Sciences, the Graduate School of the Chinese Academy of Sciences and the National Science Foundation of China. The conference proceedings, represe- ing invited and contributed papers, are published in this volume of Springer’s Lecture Notes in Computer Science (LNCS) series. The area of research covered by CISC has been gaining importance in recent years, and a lot of fundamental, experimental and applied work has been done, advancing the state of the art. The program of CISC 2005 covered numerous ?elds of research within the general scope of the conference. The International Program Committee of the conference received a total of 196 submissions (from 21 countries). Thirty-three submissions were selected for presentation as regular papers and are part of this volume. In addition to this track, the conference also hosted a short-paper track of 32 presentations that were carefully selected as well. All submissions were reviewed by experts in the relevant areas and based on their ranking and strict selection criteria the papers were selected for the various tracks. We note that stricter criteria were applied to papers co-authored by program committee members. We further note that, obviously, no member took part in in?uencing the ranking of his or her own submissions.

• authentication
• bluetooth security
• cryptanalysis
• cryptographic protocols
• cryptography
• dos attacks
• error-correcting code
• information
• intrusion detection
• secure computation
• secure proxy
• security modeling
• signature schemes
• systems security
• threshold cryptography
• algorithm analysis and problem complexity

• State Key Laboratory of Information Security, Institution of Software of Chinese Academy of Sciences, Beijing, China

  Dengguo Feng

• SKLOIS Lab, Institute of Software, Chinese Academy of Sciences, Beijing, P.R. China

  Dongdai Lin

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

  Moti Yung

Policies and ethics