IIT Home Page CNR Home Page

Introducing Probabilities in Controller Strategies

In this paper we propose a basic framework to merge security controllers with probabilistic concepts. This framework provides a first step towards quantitative security achieved by probabilistic controllers. It extends the framework for specification, analysis, and automatic generation of security controllers provided in [21,23] by considering probabilistic aspects of the behaviour of both the target process and the controller. Controllers may actively try to influence the choice of action of the target system or only passively react to actions the target system tried to perform. In a non-probabilistic setting both active and passive controllers can be expressed by the same model. In a probabilistic setting, however, these two types of controllers can differ. We respectively use the notions of generative and reactive processes to capture this distinction and discuss the different behaviours obtaining in the different settings.


QASA 2014, Wroclow, Poland, 2014

External authors: Jerry Den Hartog (Technische Universiteit Eindhoven, Eindhoven, The Netherlands)
IIT authors:

Type: Article in proceedings of international peer-reviewed conference
Field of reference: Information Technology and Communication Systems

Activity: Architetture, protocolli e meccanismi di sicurezza per sistemi e servizi distribuiti