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 - Lecture Notes in Computer Science - Mitsu Okada - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540775041 - January 24, 2008
In case cover and title do not match, the title is correct

Mitsu Okada
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 - Lecture Notes in Computer Science

Price
HK$ 516
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 8 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Running to more than 360 pages, and complete with online files and updates, this book constitutes the thoroughly refereed post-proceedings of the 11th Asian Computing Science Conference, ASIAN 2006, held in Tokyo, Japan.

Marc Notes: Includes bibliographical references and index.; Also available in print.; Electronic reproduction.; UK: MyiLibrary; 2008. Table of 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 ASTREE 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."

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 24, 2008
ISBN13 9783540775041
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 364
Dimensions 155 × 235 × 20 mm   ·   566 g
Editor Okada, Mitsu
Editor Satoh, Ichiro

Mere med samme udgiver

See all of Mitsu Okada ( e.g. Paperback Book )