National Research Institutes of Advanced Industrial Science and Technology (AIST) is governed by the Ministry of Economy Trade and Industry of Japanese government. The Information Technology ResearchInstitute of AIST has noticed that the open source software approaches are important issues to have high quality and secure software. In this paper, after we show four projects of open source software carried out at AIST, we show a typical and simple security problem named "cross site scripting" of Web servers. If the application software for the Web server were opened, this security hole would be quickly fixed because the problem is very simple and the way to fix is quite easy. Then we show several reports on Linux operating system of using governmental computer network infrastructures. We will see a lot of countries are considering using Linux and its application software as their infrastructures, because of the national securities and the deployment costs AIST is now planning to use Linux office applications in order to assess the feasibility of using open source software as an important infrastructure.

No abstract

No abstract

Abstract. In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions of CCB, and give a sound and complete axiom system for the congruence relation of finite agents. CCB is developed for analyzing a multi-agent model with broadcast communication. The most important property of CCB is that a broadcaster of a message can know the number of receivers of the message after broadcasting. The property is not easily described in the other process algebras.The multi-agent model is useful for constructing extensible systems. A disadvantage of the multi-agent model is that agents must be designed very carefully because unexpected behavior may arise by interactions between the agents. Therefore we want to analyze behavior of the agents.

Communicating Sequential Processes (CSP) based architecture is regarded as a useful method in the development of concurrent embedded systems. Products around us are embedded in many computer systems. Concurrent processing by software is necessary in multi-core and multi-processor environments to make more effective use of hardware resources. There is strong demand for hierarchy, resource constraints, and safety for implementation of embedded systems. We implemented a sorting model as a concurrent system in an experiment. We tried to design, implement, and verify concurrent sorting model with CSP based architecture. In this study, we try to parallelize of sorting as the subject of embedded systems for implementing. Because sorting has been widely studied, it is suitable as the subject of parallelization. We also evaluated the system. We will consider the usefulness of CSP, which we present in this paper, using examples of development.