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

AvMitsu Okada,Ichiro Satoh

Häftad, Engelska, 2008

Del i serien Lecture Notes in Computer Science

566 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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. The 17 revised full papers and 8 revised short papers presented together with 1 invited paper were carefully selected during two rounds of reviewing from 115 submissions. The papers cover theory, practice, applications, and experiences related to secure software.

Produktinformation

Utgivningsdatum:2008-01-24
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:364
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540775041

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

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

Ichiro Satoh, Mitsu Okada

E-bok

2008

732 kr

Ambient Intelligence - Software and Applications - 16th International Symposium on Ambient Intelligence

Antoine Nongaillard, Paulo Novais, Ricardo S. Alonso, Pablo Chamoso, Ichiro Satoh, Manuel Rodrigues

E-bok

2026

2 430 kr

Paulo Novais, Vicente Julián Inglada, Miguel J. Hornos, Ichiro Satoh, Davide Carneiro, João Carneiro, Ricardo S. Alonso - Ambient Intelligence – Software and Applications – 14th International Symposium on Ambient Intelligence, Häftad

Del 770

Ambient Intelligence – Software and Applications – 14th International Symposium on Ambient Intelligence

Paulo Novais, Vicente Julián Inglada, Miguel J. Hornos, Ichiro Satoh, Davide Carneiro, João Carneiro, Ricardo S. Alonso

Häftad, 2023

2 246 kr

Manuel Rodrigues, Ichiro Satoh, Pablo Chamoso, Ricardo S. Alonso, Paulo Novais, Antoine Nongaillard - Ambient Intelligence – Software and Applications – 16th International Symposium on Ambient Intelligence, Häftad

Del 1776

Ambient Intelligence – Software and Applications – 16th International Symposium on Ambient Intelligence

Manuel Rodrigues, Ichiro Satoh, Pablo Chamoso, Ricardo S. Alonso, Paulo Novais, Antoine Nongaillard

Häftad, 2026

1 910 kr

Paulo Novais, Parameshachari B. D., Ichiro Satoh, Vicente Julian Inglada, Sara Rodríguez González, Esteban Jove Pérez, Javier Parra Domínguez, Pablo Chamoso, Ricardo S. Alonso - Ambient Intelligence – Software and Applications – 15th International Symposium on Ambient Intelligence, Häftad

Del 1279

Ambient Intelligence – Software and Applications – 15th International Symposium on Ambient Intelligence

Paulo Novais, Parameshachari B. D., Ichiro Satoh, Vicente Julian Inglada, Sara Rodríguez González, Esteban Jove Pérez, Javier Parra Domínguez, Pablo Chamoso, Ricardo S. Alonso

Häftad, 2025

2 470 kr

Ambient Intelligence - Software and Applications - 14th International Symposium on Ambient Intelligence

Ricardo S. Alonso, Joao Carneiro, Davide Carneiro, Ichiro Satoh, Miguel J. Hornos, Vicente Julian Inglada, Paulo Novais

E-bok

2023

2 948 kr

Ubiquitous Computing Systems

Hee Yong Youn, Ichiro Satoh, We-Duke Cho, Haruhisa Ichikawa

E-bok

2007

732 kr

Ambient Intelligence - Software and Applications - 15th International Symposium on Ambient Intelligence

Ricardo S. Alonso, Pablo Chamoso, Javier Parra Dominguez, Esteban Jove Perez, Sara Rodriguez Gonzalez, Vicente Julian Inglada, Ichiro Satoh, Parameshachari B. D., Paulo Novais

E-bok

2025

3 242 kr

Ubiquitous Computing Systems

Haruhisa Ichikawa, We-Duke Cho, Ichiro Satoh, Hee Yong Youn

Häftad, 2007

566 kr

-12%

När allt faller

Måns Petter Zelmerlöw

Inbunden, 2026

229 kr259 kr