Advances in Computer Science - ASIAN 2009. Information Security and Privacy

13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

  • Anupam Datta
Conference proceedings ASIAN 2009
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5913)

Table of contents

  1. Front Matter
  2. Jean Goubault-Larrecq
    Pages 1-16
  3. Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
    Pages 24-38
  4. Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
    Pages 39-53
  5. Robert Grabowski, Lennart Beringer
    Pages 54-68
  6. Steve Kremer, Antoine Mercier, Ralf Treinen
    Pages 94-108
  7. Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke
    Pages 109-123
  8. Deqing Zou, Jinjiu Long, Hai Jin
    Pages 124-136
  9. Anguraj Baskar, R. Ramanujam, S. P. Suresh
    Pages 137-146
  10. Jianhong Zhang, Hua Chen, Shengnan Gao, Yixian Yang
    Pages 147-157
  11. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 13th Asian Computing Science Conference, ASIAN 2009, held in Seoul, Korea, in December 2009.

The 7 revised full papers and 3 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 45 submissions. Focusing on the theory and practice of information security and privacy, the papers include topics of deducibility constraints, symmetric encryption modes, dynamic security domains and policies, cryptography, formal verification of quantum programs, decision of static equivalence, authenticated message and proxy signature scheme.

 

Keywords

DES DRM Web services anonymity authentication cryptographic protocols data security formal methods information security privacy verification

Editors and affiliations

  • Anupam Datta
    • 1
  1. 1.Carnegie Mellon UniversityPittsburghUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-10622-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-10621-7
  • Online ISBN 978-3-642-10622-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book