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
    15. Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
      Pages 248-255
    16. Khandoker Asadul Islam, Yoshimichi Watanabe
      Pages 256-263
    17. Souhei Ito, Shigeki Hagihara, Naoki Yonezaki
      Pages 264-271
    18. Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux et al.
      Pages 272-300
    19. Ming-Hsien Tsai, Bow-Yaw Wang
      Pages 316-330
    20. Corneliu Popeea, Wei-Ngan Chin
      Pages 331-345
    21. Reynald Affeldt, Nicolas Marti
      Pages 346-360
  3. Back Matter

About these proceedings


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-77504-1
  • Online ISBN 978-3-540-77505-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods