Research on Declarative Description and Consistency Checking of Policies for Adaptive Software

点击翻译按钮获取中文摘要

In this research, we have investigated a novel secure execution scheme and safe composition of of software components that are especially utilized to extend, reconfigure or maintain a dynamically extensible and/or context-aware systems. We have developed a new security architecture called Taurus-1 that adopts monitored execution as a basic security enforcement mechanism. We have shown that how Taurus-1 can provide a security enhancement mechanism for such extensible and/or context-aware systems and then discuss how to specify security policies for them. To achieve a secure and safe composition of components, we have also designed a behavioral interface specification language Moxa that provides a new modularization mechanism based on assertion aspects. The use of assertion aspects clarifies the large, complex specification and greatly simplifies each assertion in the specification.