Capturing dynamicity and uncertainty in security and trust via situational patterns
Modern smart systems are highly dynamic and allow for dynamic and ad-hoc collaboration
not only among devices, but also among humans and organizations. Such a collaboration …
not only among devices, but also among humans and organizations. Such a collaboration …
Compliance Requirements Checking in Variable Environments
Ensuring compliance with complex privacy related regulations is more challenging in the
presence of changing operating environments, such as cloud based services. This motivates …
presence of changing operating environments, such as cloud based services. This motivates …
A sensitivity analysis of evolutionary algorithms in generating secure configurations
The growth of Cyber-physical Systems (CPS) has been increased in recent years. This has
led to the coupling of highly complex cyber-physical components. With the integration of …
led to the coupling of highly complex cyber-physical components. With the integration of …
Aspect-oriented adaptation of access control rules
T Bureš, I Gerostathopoulos, P Hnětynka… - 2021 47th Euromicro …, 2021 - ieeexplore.ieee.org
Cyber-physical systems (CPS) and IoT systems are nowadays commonly designed as self-
adaptive, endowing them with the ability to dynamically reconFigure to reflect their changing …
adaptive, endowing them with the ability to dynamically reconFigure to reflect their changing …
A Logic Programming Approach to Incorporate Access Control in the Internet of Things
In the present digital world, we depend on information technology more than ever. Our
economy, health, well-being and even our lives depend on it. Information security is a basic …
economy, health, well-being and even our lives depend on it. Information security is a basic …
Using default logic for agent behavior testing
An agent is an autonomous entity that can perform actions to achieve its goals. It acts in a
dynamic environment that may engender failures regarding its behavior. Therefore, a formal …
dynamic environment that may engender failures regarding its behavior. Therefore, a formal …
TestLocal: just-in-time parametrized testing of local variables
M Heimlich, AS Namin - Proceedings of the 34th ACM/SIGAPP …, 2019 - dl.acm.org
Variables local to methods play an important role in implementing not only the logic of
desired algorithms but also the control of global variables. The values of these variables …
desired algorithms but also the control of global variables. The values of these variables …
An access control conflict resolution model based on inductive learning of answer set program
Q Niu, H Guo - Proceedings of the 4th International Conference on …, 2019 - dl.acm.org
The existing methods for automatically implementing access control policies are mainly
traditional logic programming, that is, monotonic logic. There are some shortcomings in …
traditional logic programming, that is, monotonic logic. There are some shortcomings in …