Fig 4 - uploaded by Piotr Kulicki
Content may be subject to copyright.
Labelled transition system for the print shop example limited to two available print shops: a purely descriptive account
Source publication
The paper tackles the problem of the relation between rights and obligations. Two examples of situations in which such a relation occurs are discussed. One concerns the abortion regulations in Polish law, the other one - a clash between freedom of expression and freedom of enterprise occurring in the context of discrimination. The examples are anal...
Contexts in source publication
Context 1
... the sake of simplicity we assume that there are only two print shops available. Figure 4 depicts the possible course of actions. The same situation can be described by a STIT-like model (see Fig. 5). ...
Citations
The paper is devoted to Janusz Czelakowski’s contributions to action theory and deontic logic. Various approaches to formal action theory are listed and some of them, including Maria Nowakowska’s theory, propositional dynamic logic (PDL) and sees to it that (STIT) logic, are briefly introduced. Logic of performability and deontic action logic with a goal-oriented obligation are recognized as the main contributions of Czelakowski to the field. The essentials of both theories are presented and commented. Their relation to STIT and PDL is outlined.
Cyber-Physical-Social Space (CPSS) is a promising paradigm to provide people with an intelligent environment by emphasizing the deep fusion of cyberspace, physical space, and social space. The interdependence of these spaces makes that CPSS is more likely to be attacked. The attack consequences may directly affect the state of the physical world and even endanger the people’s life. Thus, the most challenging issue for CPSS is to ensure the space security. However, existing security analysis methods focus on the static analysis at the design phase. They do not consider the open and dynamic characteristics which are the core features of CPSS. In this paper, we propose an adaptive security analysis framework for CPSS to prevent the unauthorized flow of information. Firstly, the access control model of CPSS is proposed. It controls the access behaviors by considering the space information covering the social, cyber, and physical spaces. Secondly, Labelled Transition System (LTS) is established to describe the future evolutions of CPSS. The space states in the LTS which violate the security requirements are reasoned by the model checking technology. Thirdly, a policy adjustment method is proposed to prevent the system from entering the violated states or mitigate the bad results caused by the violations. In the end, the effectiveness of our approach is evaluated by a smart building case, and the necessity of our approach is analyzed by the performance evaluation.
