In the current Internet system, large-scale search sites compile relationships between people and knowledge and accumulate them as resources. Only a few large-scale search sites are able to judge the value of the resources and maintain the data. However, these systems have the possibility of obstructing the peculiar diversity of the contemporary society. Moreover, the existence of the search sites raises a serious threat called covert channels, through which information can be leaked and falsified. In this paper, to solve these two problems, the cloud concept is redefined from a logical point of view as follows: A cloud is semantics where the relations between the Internet resources are described by predicate logic. Also proposed is a model of the agent that controls and manages the clouds by the unit of community in the semantics model. The agent of the proposed model is left in each community. The predicate logic that describes the clouds adopts intuitionistic logic, which can describe the uncertainty of the clouds. This paper expresses the destination at which the communication infrastructure of the Web-based system should aim by a semantics model from the aspect of the clouds, agent, restriction, and information flow control.
['Tetsuya Morizumi', 'Kazuhiro Suzuki', 'Hirotsugu Kinoshita']
A System for Search, Access Restriction, and Agents in the Clouds