Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Security requirements for uniformly parameterised cooperations

: Ochsenschläger, P.; Rieke, R.


Stotzka, R. ; European Organisation for Information Technology and Microelectronics -EUROMICRO-; Institute of Electrical and Electronics Engineers -IEEE-:
20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2012. Proceedings : Garching, Germany, 15 - 17 February 2012
Los Alamitos: IEEE Computer Society, 2012
ISBN: 978-0-7695-4633-9
International Conference on Parallel, Distributed and Network-Based Processing (PDP) <20, 2012, Garching>
Fraunhofer SIT ()

The specification of security requirements is an important step when specifying new systems and systems of systems or analysing existing systems with regard to security issues. A common way to formally specify security requirements is by means of safety and liveness properties. The systems in the focus of this paper are uniformly parameterised cooperations. Such systems are characterised by the composition of a set of identical components. These components interact in a uniform manner described by the schedules of the partners. Such a kind of interaction is typical for scalable complex systems with a cloud or grid structure. As a main result, a formalism to specify uniformly parameterised behaviour properties of cooperations is given. To capture possibilistic aspects of especially liveness properties, a modified satisfaction relation is used. For safety properties, this relation, which is called approximate satisfaction, is equivalent to the usual one.