Akinori Yonezawa - Böcker

For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed.This book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well.

This book constitutes the refereed proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, REFLECTION 2001, held in Kyoto, Japan in September 2001. The revised eleven long papers, seven short papers, and eight posters presented were carefully reviewed and selected from 44 submissions. The book offers topical sections on reflection and SOC in Java, software adaptation using reflection and SOC techniques, reflective middleware for distributed mobile applications, testing and verification, foundations of reflection and SOC, and software methodologies for SOC.

This volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Workshop held at Wadham College, Oxford, September 25-27, 1989. The volume is organized into four parts: - Papers on theoretical aspects of concurrency which reflect strong research activities in the UK, including theories on CCS and temporal logic RDL. - Papers on object orientation and concurrent languages which reflect major research activities on concurrency in Japan. The languages presented include extensions of C, Prolog and Lisp as well as object-based concurrent languages. - Papers on parallel architectures and VLSI logic, including a rewrite rule machine, a graph rewriting machine, and a dataflow architecture. - An overview of the workshop including the abstracts of the talks and the list of participants. The appendix gives a brief report of the first UK/Japan Workshop in Computer Science, held at Sendai, Japan, July 6-9, 1987.

This volume constitutes the proceedings of the FirstInternational Symposiumorganized by the Japan Society forSoftware Science and Technology. The symposium was held inKanazawa, Japan, November 4-6, 1993 and attracted manyresearchers from academia and industry as well as ambitionedpractitioners. Object technologies, in particular object-orientedprogramming, object-oriented databases, and software objectbases, currently attract much attention and hold a greatpromise of future research and development in diverse areasof advanced software. The volume contains besides 6 invited presentations byrenown researchers and 25 contributed papers carefullyselected by an internationalprogram committee from a totalof 92 submissions.

This volume presents the proceedings of the 1st International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994. The conference focused on theoretical foundations of parallel languages and parallel programming, related implementation issues, and practical applications. Among the topics covered are models of computation, logic, proof, specification of programmes, semantics of languages, implementation of languages and systems, and architectural support for parallelism and massively parallel computation.

This volume presents carefully refereed versions of the best papers presented at the Workshop on Models and Languages for Coordination of Parallelism and Distribution, held during ECOOP '94 in Bologna, Italy in July 1994.Recently a new class of models and languages for distributed and parallel programming has evolved; all these models share a few basic concepts: simple features for data description and a small number of mechanisms for coordinating the work of agents in a distributed setting. This volume demonstrates that integrating such features with those known from concurrent object-oriented programming is very promising with regard to language support for distribution and software composition.