Skip to main content
SpringerLink
Log in

Advances in Computer Science - ASIAN 2007. Computer and Network Security

12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Iliano Cervesato
    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 4846)

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

Included in the following conference series:

Conference proceedings info: ASIAN 2007.

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 (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Speaker: Andrei Sabelfeld

    1. Dimensions of Declassification in Theory and Practice

      • Andrei Sabelfeld
      Pages 1-1

    2. Session 1: Program Security

      1. A Static Birthmark of Binary Executables Based on API Call Structure
        • Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han
        Pages 2-16
      2. Compiling C Programs into a Strongly Typed Assembly Language
        • Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa
        Pages 17-32
      3. Information Flow Testing
        • Gurvan Le Guernic
        Pages 33-47

    3. Session 2: Short Papers on Computer Security

      1. Large Scale Simulation of Tor:
        • Gavin O’Gorman, Stephen Blott
        Pages 48-54
      2. Privacy Enhancing Credentials
        • Junji Nakazato, Lihua Wang, Akihiro Yamamura
        Pages 55-61
      3. Browser Based Agile E-Voting System
        • Sriperumbuduru Kandala Simhalu, Keiji Takeda
        Pages 62-69
      4. Risk Balance in Exchange Protocols
        • Mohammad Torabi Dashti, Yanjing Wang
        Pages 70-77
      5. Scalable DRM System for Media Portability
        • Hyoungshick Kim
        Pages 78-85
      6. Computational Semantics for Basic Protocol Logic – A Stochastic Approach
        • Gergei Bana, Koji Hasebe, Mitsuhiro Okada
        Pages 86-94

    4. Session 3: Access Control

      1. Management Advantages of Object Classification in Role-Based Access Control (RBAC)
        • Mohammad Jafari, Mohammad Fathian
        Pages 95-110
      2. An Integrated Model for Access Control and Information Flow Requirements
        • Samiha Ayed, Nora Cuppens-Boulahia, Frédéric Cuppens
        Pages 111-125
      3. Digital Rights Management Using a Master Control Device
        • Imad M. Abbadi
        Pages 126-141

  3. Invited Speaker: Joshua Guttman

    1. How to do Things with Cryptographic Protocols

      • Joshua D. Guttman
      Pages 142-149

    2. Session 4: Protocols

      1. A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols
        • Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson
        Pages 150-165
      2. An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming
        • MengJun Li, Ti Zhou, ZhouJun Li, HuoWang Chen
        Pages 166-180
      3. Secure Verification of Location Claims with Simultaneous Distance Modification
        • Vitaly Shmatikov, Ming-Hsiu Wang
        Pages 181-195

  4. Invited Speaker: Kazuhiko Kato

    1. Modeling and Virtualization for Secure Computing Environments

      • Kazuhiko Kato
      Pages 196-197

    2. Session 5: Intrusion Detection

      1. Empirical Study of the Impact of Metasploit-Related Attacks in 4 Years of Attack Traces
        • E. Ramirez-Silva, M. Dacier
        Pages 198-211
Back to top

Other volumes

  1. Advances in Computer Science – ASIAN 2007. Computer and Network Security

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation