Suchergebnisse

When developing pervasive computing applications, it is critical to specify security policies and develop security mechanisms to ensure the confidentiality and integrity of the applications. Numerous policy specification languages only focus on their expressive power. The emerging challenges in pervasive computing systems can not be fulfilled by these approaches. For instance, context awareness is a central aspect of pervasive computing systems. Existing approaches rarely consider context information in their language.This thesis proposes a generative approach dedicated to specifying and enforcing security policies in pervasive computingapplications. To specify a policy, we propose a context-aware policy specification language which helps developers to specify policy rules and required entities (e.g. spatial description, roles, context information). Policies are implemented by term rewriting systems which offers great verification power. To enforce a policy, we propose an architecture that embeds important concepts of security policies (subject, object, security related context) into pervasive computing applications. To apply our approach, we enriched an existing approach which is dedicated to develop pervasive computing applications. Based on the policy specification and the enriched pervasive computing application descriptions, a dedicated programming framework is generated. This framework guides the implementation and raises the level of abstraction which can reduce the workloads of developers. ; Lors du développement des applications ubiquitaires, il est essentiel de définir des politiques de sécurité et de développerdes mécanismes de sécurité pour assurer la confidentialité et l'intégrité des applications. De nombreux langages de spécification de politiques se concentrent uniquement sur leur puissance d'expression. Les défis émergents dans les systèmes ubiquitaires ne peuvent pas être résolus par ces approches. Par exemple, la sensibilité au contexte est un élément central des systèmes ubiquitaires. Les ...

When developing pervasive computing applications, it is critical to specify security policies and develop security mechanisms to ensure the confidentiality and integrity of the applications. Numerous policy specification languages only focus on their expressive power. The emerging challenges in pervasive computing systems can not be fulfilled by these approaches. For instance, context awareness is a central aspect of pervasive computing systems. Existing approaches rarely consider context information in their language.This thesis proposes a generative approach dedicated to specifying and enforcing security policies in pervasive computingapplications. To specify a policy, we propose a context-aware policy specification language which helps developers to specify policy rules and required entities (e.g. spatial description, roles, context information). Policies are implemented by term rewriting systems which offers great verification power. To enforce a policy, we propose an architecture that embeds important concepts of security policies (subject, object, security related context) into pervasive computing applications. To apply our approach, we enriched an existing approach which is dedicated to develop pervasive computing applications. Based on the policy specification and the enriched pervasive computing application descriptions, a dedicated programming framework is generated. This framework guides the implementation and raises the level of abstraction which can reduce the workloads of developers. ; Lors du développement des applications ubiquitaires, il est essentiel de définir des politiques de sécurité et de développerdes mécanismes de sécurité pour assurer la confidentialité et l'intégrité des applications. De nombreux langages de spécification de politiques se concentrent uniquement sur leur puissance d'expression. Les défis émergents dans les systèmes ubiquitaires ne peuvent pas être résolus par ces approches. Par exemple, la sensibilité au contexte est un élément central des systèmes ubiquitaires. Les ...

Reactor pressure vessel (RPV) support is a key safety facility which is categorized as Class 1 in the ASME nuclear safety design. The temperature distribution of RPV support is one of the key considerations for the concrete safety contacting with the bottom of the support. So it is necessary for accurate evaluation on the temperature field characteristics of RPV support, especially the bottom of support. This paper investigates the temperature field characteristics of modified RPV support which will be applied to a large advanced pressurized water reactor. A support entity is manufactured in a ratio of 1:1, and its temperature distribution is measured under simulated reactor operating conditions. Numerical simulation is also used to validate the results by the developed CFD model. The results show that under the operating conditions, of which the inlet cooling air temperature is 35.35°C and the velocity is 6.25 m/s, the temperature distribution of modified RPV support bottom is uneven, and the highest temperature is around 38°C, which is much lower than the demanding design temperature 93.3°C. Therefore, the design of the modified RPV support is reliable. In addition, the results of numerical simulation agree well with the experimental results with the error less than ±4°C, which ensures the reliability of the conclusion. The effects of inlet cooling air temperature and velocity on the RPV support temperature distribution are further studied. Both the temperature decrease and velocity increase can reduce the RPV support temperature. But the effect of inlet cooling air temperature is more obvious than inlet cooling air velocity. So the best way to improve air cooling capacity is to decrease the support inlet cooling air temperature. The results can provide a good guidance to the design of RPV support for the subsequent large advanced pressurized water reactor.