|Thesis abstract: |
With the prevalence of computing devices in today's everyday life, the constant interaction with computer systems as well as the increasing availability of pervasive services through infrastructures such as the cloud, ubiquitous computing is now a reality for many people. This new paradigm is generating numerous opportunities in the context of an increasingly digital, modern society. However, these opportunities come hand in hand with greater challenges, higher risks and new threats.
This is because building blocks as devices, services and software artifacts constitute at a macroscopic level highly complex software-intensive systems, which are trusted to provide secure services in forms of confidentiality, integrity and availability of information. These systems today are faced with constant change; a highly sought quality for such systems is the ability to self-manage by adapting at runtime to handle challenges as resource variability, user demands, computing faults or malicious intrusions.
It is important to understand how to accurately define and efficiently design, whereas systematically verify and evolve resilient adaptation mechanisms, with the goal of engineering secure adaptive systems.