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 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Okada, Mitsu (Editor ), Satoh, Ichiro (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Theoretical Computer Science and General Issues, 4435
Temas:
Computer science.
Data structures (Computer science).
Information theory.
Data protection.
Algorithms.
Computer networks .
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Data Structures and Information Theory.
Data and Information Security.
Computer Communication Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares