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

DOI: 10.1007/978-3-540-77505-8

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

  • 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