Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Datta, Anupam (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Series: Lecture Notes in Computer Science, 5913
• Subjects: Computer science.; Computer communication systems.; Computer programming.; Computer security.; Algorithms.; Computer logic.; Mathematical logic.; Computer Science.; Computer Communication Networks.; Systems and Data Security.; Programming Techniques.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.

This book constitutes the refereed proceedings of the 13th Asian Computing Science Conference, ASIAN 2009, held in Seoul, Korea, in December 2009. The 7 revised full papers and 3 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 45 submissions. Fo...

Table of Contents:

• “Logic Wins!”
• Higher-Order Program Verification and Language-Based Security
• Deducibility Constraints
• Automated Security Proof for Symmetric Encryption Modes
• Noninterference with Dynamic Security Domains and Policies
• A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers
• A Logic for Formal Verification of Quantum Programs
• Reducing Equational Theories for the Decision of Static Equivalence
• A Simulation-Based Treatment of Authenticated Message Exchange
• Trusted Deployment of Virtual Execution Environment in Grid Systems
• A Dolev-Yao Model for Zero Knowledge
• A Special Proxy Signature Scheme with Multi-warrant.