This book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003.
The 16 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 53 submissions. Among the topics addressed are type theory for operating systems protection, self configurable servers, network services, predicate detection, hierarchical specification, proof theory, electronic auctions, secure mobile computing, programming casculi, access control, middleware, program logic, real-time systems, and probabilistic distributed systems.
Author(s): Greg Morrisett (auth.), Vijay A. Saraswat (eds.)
Series: Lecture Notes in Computer Science 2896
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 312
Tags: Software Engineering; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs
Front Matter....Pages -
Achieving Type Safety for Low-Level Code....Pages 1-2
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory....Pages 3-17
Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation....Pages 18-32
Information Flow Security for XML Transformations....Pages 33-53
Unreliable Failure Detectors via Operational Semantics....Pages 54-71
Bankable Postage for Network Services....Pages 72-90
Global Predicate Detection under Fine-Grained Modalities....Pages 91-109
Combining Hierarchical Specification with Hierarchical Implementation....Pages 110-124
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures – Preliminary Report –....Pages 125-145
Deaccumulation – Improving Provability....Pages 146-160
Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction....Pages 161-172
Hierarchical Structure of 1-Safe Petri Nets....Pages 173-187
A Calculus for Secure Mobility....Pages 188-204
A Calculus of Bounded Capacities....Pages 205-223
Paradigm Regained: Abstraction Mechanisms for Access Control....Pages 224-242
The Design and Evaluation of a Middleware Library for Distribution of Language Entities....Pages 243-259
Generating Optimal Linear Temporal Logic Monitors by Coinduction....Pages 260-275
Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems....Pages 276-290
Model Checking Probabilistic Distributed Systems....Pages 291-304
Back Matter....Pages -
