Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Mitsu Okada
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ichiro Satoh
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ASIAN 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. ASIAN’2006

    1. Security Evaluation of a Type of Table-Network Implementation of Block Ciphers

      • Akira Matsunaga, Tsutomu Matsumoto
      Pages 1-12

    2. A Symbolic Intruder Model for Hash-Collision Attacks

      • Yannick Chevalier, Mounira Kourjieh
      Pages 13-27

    3. A Denotational Approach to Scope-Based Compensable Flow Language for Web Service

      • Huibiao Zhu, Geguang Pu, Jifeng He
      Pages 28-36

    4. Certificateless Authenticated Two-Party Key Agreement Protocols

      • Tarjei K. Mandt, Chik How Tan
      Pages 37-44

    5. FORM : A Federated Rights Expression Model for Open DRM Frameworks

      • Thierry Sans, Frédéric Cuppens, Nora Cuppens-Boulahia
      Pages 45-59

    6. A Method of Safety Analysis for Runtime Code Update

      • Masatomo Hashimoto
      Pages 60-74

    7. Automata-Based Confidentiality Monitoring

      • Gurvan Le Guernic, Anindya Banerjee, Thomas Jensen, David A. Schmidt
      Pages 75-89

    8. Efficient and Practical Control Flow Monitoring for Program Security

      • Nai Xia, Bing Mao, Qingkai Zeng, Li Xie
      Pages 90-104

    9. Modular Formalization of Reactive Modules in COQ

      • Ming-Hsien Tsai, Bow-Yaw Wang
      Pages 105-119

    10. Closing Internal Timing Channels by Transformation

      • Alejandro Russo, John Hughes, David Naumann, Andrei Sabelfeld
      Pages 120-135

    11. Responsiveness in Process Calculi

      • Lucia Acciai, Michele Boreale
      Pages 136-150

    12. Normal Proofs in Intruder Theories

      • Vincent Bernat, Hubert Comon-Lundh
      Pages 151-166

    13. Breaking and Fixing Public-Key Kerberos

      • Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
      Pages 167-181

    14. Computational Soundness of Formal Indistinguishability and Static Equivalence

      • Gergei Bana, Payman Mohassel, Till Stegers
      Pages 182-196

    15. Secrecy Analysis in Protocol Composition Logic

      • Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert
      Pages 197-213

    16. A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations

      • Zhaohui Luo
      Pages 214-222

    17. On Completeness of Logical Relations for Monadic Types

      • Sławomir Lasota, David Nowak, Yu Zhang
      Pages 223-230

    18. A Spatial Logical Characterisation of Context Bisimulation

      • Zining Cao
      Pages 231-239

    19. Information Hiding in the Join Calculus

      • Qin Ma, Luc Maranget
      Pages 240-247
Back to top

Other volumes

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

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation