Limit search to available items
Book Cover
E-book
Author Asian Computing Science Conference (11th : 2006 : Tokyo, Japan)

Title 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 / Mitsu Okada, Ichiro Satoh (eds.)
Published Berlin ; New York : Springer, ©2007

Copies

Description 1 online resource (xv, 360 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4435
Lecture notes in computer science ; 4435. 0302-9743
Contents ASIAN'2006 -- Security Evaluation of a Type of Table-Network Implementation of Block Ciphers -- A Symbolic Intruder Model for Hash-Collision Attacks -- A Denotational Approach to Scope-Based Compensable Flow Language for Web Service -- Certificateless Authenticated Two-Party Key Agreement Protocols -- FORM : A Federated Rights Expression Model for Open DRM Frameworks -- A Method of Safety Analysis for Runtime Code Update -- Automata-Based Confidentiality Monitoring -- Efficient and Practical Control Flow Monitoring for Program Security -- Modular Formalization of Reactive Modules in COQ -- Closing Internal Timing Channels by Transformation -- Responsiveness in Process Calculi -- Normal Proofs in Intruder Theories -- Breaking and Fixing Public-Key Kerberos -- Computational Soundness of Formal Indistinguishability and Static Equivalence -- Secrecy Analysis in Protocol Composition Logic -- A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations -- On Completeness of Logical Relations for Monadic Types -- A Spatial Logical Characterisation of Context Bisimulation -- Information Hiding in the Join Calculus -- Modeling Urgency in Component-Based Real-Time Systems -- Maintaining Data Consistency of XML Databases Using Verification Techniques -- An Operational Semantics of Program Dependence Graphs for Unstructured Programs -- Combination of Abstractions in the ASTRÉE Static Analyzer -- Proving Noninterference by a Fully Complete Translation to the Simply Typed?-Calculus -- Formalization of CTL* in Calculus of Inductive Constructions -- Inferring Disjunctive Postconditions -- An Approach to Formal Verification of Arithmetic Functions in Assembly
Summary This book constitutes the thoroughly refereed post-proceedings of the 11th Asian Computing Science Conference, ASIAN 2006, held in Tokyo, Japan, in December 2006. The 17 revised full papers and 8 revised short papers presented together with 1 invited paper were carefully selected during two rounds of reviewing and revision from 115 submissions. The papers cover all aspects of theory, practice, applications, and experiences related to secure software and feature new ways to apply theoretical and practical techniques in secure software analysis, design, development, and operation
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Computer security -- Congresses
Computer networks -- Security measures -- Congresses
Informatique.
Computer networks -- Security measures
Computer security
Genre/Form Electronic books
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Okada, Mitsu
Satoh, Ichiro
LC no. 2007943082
ISBN 9783540775058
3540775056
3540775048
9783540775041