Engineering Self-protection for Autonomous Systems
نویسندگان
چکیده
Security violations occur in systems even if security design is carried out or security tools are deployed. Social engineering attacks, vulnerabilities that can not be captured in the relatively abstract design model (as buffer-overflows), or unclear security requirements are only some examples of such unpredictable or unexpected vulnerabilities. One of the aims of autonomous systems is to react to these unexpected events through the system itself. Subsequently, this goal demands further research about how such behavior can be designed and sufficiently supported throughout the software development process. We present an approach to engineer self-protection rules for autonomous systems that is integrated into a model-driven software engineering process and provides concepts to formally verify that a given intrusion response model satisfies certain security requirements.
منابع مشابه
Biologically-Inspired Concepts for Autonomic Self-protection in Multiagent Systems
Biologically-inspired autonomous and autonomic systems (AAS) are essentially concerned with creating self-directed and self-managing systems based on metaphors from nature and the human body, such as the autonomic nervous system. Agent technologies have been identified as a key enabler for engineering autonomy and autonomicity in systems, both in terms of retrofitting into legacy systems and in...
متن کاملModeling and Engineering Self-Organization in Complex Software Systems
Modeling and Engineering Self-Organization in Complex Software Systems Paul L. Snyder Giuseppe Valetto, Ph.D. Describing, understanding, and modeling the emergent behavior of self-organizing software systems remains an open challenge. Such systems can solve problems in computing domains where traditional, centralized models are impractical or problematic, including ubiquitous and pervasive comp...
متن کاملDetermination of Stability Domains for Nonlinear Dynamical Systems Using the Weighted Residuals Method
Finding a suitable estimation of stability domain around stable equilibrium points is an important issue in the study of nonlinear dynamical systems. This paper intends to apply a set of analytical-numerical methods to estimate the region of attraction for autonomous nonlinear systems. In mechanical and structural engineering, autonomous systems could be found in large deformation problems or c...
متن کاملAre Autonomous Mobile Robots Able to Take Over Construction? A Review
Although construction has been known as a highly complex application field for autonomous robotic systems, recent advances in this field offer great hope for using robotic capabilities to develop automated construction. Today, space research agencies seek to build infrastructures without human intervention, and construction companies look to robots with the potential to improve construction qua...
متن کاملRobust stabilization of a class of three-dimensional uncertain fractional-order non-autonomous systems
This paper concerns the problem of robust stabilization of uncertain fractional-order non-autonomous systems. In this regard, a single input active control approach is proposed for control and stabilization of three-dimensional uncertain fractional-order systems. The robust controller is designed on the basis of fractional Lyapunov stability theory. Furthermore, the effects of model uncertai...
متن کامل