Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

  • Editors
  • Mitsu Okada
  • Ichiro Satoh
Conference proceedings ASIAN 2006

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

Table of contents

  1. Front Matter
  2. ASIAN’2006

    1. Yannick Chevalier, Mounira Kourjieh
      Pages 13-27
    2. Tarjei K. Mandt, Chik How Tan
      Pages 37-44
    3. Thierry Sans, Frédéric Cuppens, Nora Cuppens-Boulahia
      Pages 45-59
    4. Gurvan Le Guernic, Anindya Banerjee, Thomas Jensen, David A. Schmidt
      Pages 75-89
    5. Nai Xia, Bing Mao, Qingkai Zeng, Li Xie
      Pages 90-104
    6. Ming-Hsien Tsai, Bow-Yaw Wang
      Pages 105-119
    7. Alejandro Russo, John Hughes, David Naumann, Andrei Sabelfeld
      Pages 120-135
    8. Lucia Acciai, Michele Boreale
      Pages 136-150
    9. Vincent Bernat, Hubert Comon-Lundh
      Pages 151-166
    10. Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
      Pages 167-181
    11. Gergei Bana, Payman Mohassel, Till Stegers
      Pages 182-196
    12. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert
      Pages 197-213
    13. Sławomir Lasota, David Nowak, Yu Zhang
      Pages 223-230
    14. Qin Ma, Luc Maranget
      Pages 240-247

About these proceedings

Keywords

DRM Symbol XML authentication automata bilinear map component software control flow database dynamic profiling formal reasoning formal verification real-time systems semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-77505-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-77504-1
  • Online ISBN 978-3-540-77505-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book