The Experts below are selected from a list of 12 Experts worldwide ranked by ideXlab platform

Bernhard Bauer - One of the best experts on this subject based on the ideXlab platform.

  • TASE - Formal Specification of Domain-Specific ECA Policy Models
    2011 Fifth International Conference on Theoretical Aspects of Software Engineering, 2011
    Co-Authors: Raphael Romeikat, Bernhard Bauer
    Abstract:

    Policy-based management allows to adapt systems to changed requirements in a flexible and automated way. Policy development usually starts with the specification of high-level policies, which are then refined into a low-level representation. We use models to specify event-condition-action (ECA) policies at different levels of abstraction and consequently separate domain and Policy aspects from each other. Domain-specific concepts are used within policies in their event, condition, and action parts. We present a formal specification of the models by means of a relational algebra. The algebra is used to validate the models at each level. Finally, Executable Policy code is generated from the low-level models.

  • SEKE - Modeling of Domain-Specific ECA Policies.
    2011
    Co-Authors: Raphael Romeikat, Bernhard Bauer, Henning Sanneck
    Abstract:

    Policy-based management is a flexible approach for the management of complex systems as policies make context-sensitive and automated decisions. For the effective development of policies it is desired to specify policies at a high level of abstraction initially, and to refine them until they are represented in a machine-Executable way. We present an approach that uses models to specify event-condition-action (ECA) policies at different levels of abstraction. A relational algebra is used to specify and validate the models in a formal way. Finally, Executable Policy code is generated from the lowlevel models. The approach is generic as it can be applied to any domain and supports a flexible number of abstraction layers. It is applied to the network management domain and demonstrated with the modeling and refinement of policies for coverage optimization in a mobile network. Keywords-domain; Policy; ECA; modeling; refinement; MDE; network management

Raphael Romeikat - One of the best experts on this subject based on the ideXlab platform.

  • TASE - Formal Specification of Domain-Specific ECA Policy Models
    2011 Fifth International Conference on Theoretical Aspects of Software Engineering, 2011
    Co-Authors: Raphael Romeikat, Bernhard Bauer
    Abstract:

    Policy-based management allows to adapt systems to changed requirements in a flexible and automated way. Policy development usually starts with the specification of high-level policies, which are then refined into a low-level representation. We use models to specify event-condition-action (ECA) policies at different levels of abstraction and consequently separate domain and Policy aspects from each other. Domain-specific concepts are used within policies in their event, condition, and action parts. We present a formal specification of the models by means of a relational algebra. The algebra is used to validate the models at each level. Finally, Executable Policy code is generated from the low-level models.

  • SEKE - Modeling of Domain-Specific ECA Policies.
    2011
    Co-Authors: Raphael Romeikat, Bernhard Bauer, Henning Sanneck
    Abstract:

    Policy-based management is a flexible approach for the management of complex systems as policies make context-sensitive and automated decisions. For the effective development of policies it is desired to specify policies at a high level of abstraction initially, and to refine them until they are represented in a machine-Executable way. We present an approach that uses models to specify event-condition-action (ECA) policies at different levels of abstraction. A relational algebra is used to specify and validate the models in a formal way. Finally, Executable Policy code is generated from the lowlevel models. The approach is generic as it can be applied to any domain and supports a flexible number of abstraction layers. It is applied to the network management domain and demonstrated with the modeling and refinement of policies for coverage optimization in a mobile network. Keywords-domain; Policy; ECA; modeling; refinement; MDE; network management

Dries Vanoverberghe - One of the best experts on this subject based on the ideXlab platform.

  • The S3MS.NET Run Time Monitor: Tool Demonstration
    2015
    Co-Authors: Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Frank Piessens, Dries Vanoverberghe
    Abstract:

    This paper describes the S3MS.NET run time monitor, a tool that can enforce security policies expressed in a variety of Policy languages for.NET desktop or mobile applications. The tool consists of two major parts: a bytecode inliner that rewrites.NET assemblies to insert calls to a Policy decision point, and a Policy compiler that compiles source policies to Executable Policy decision points. The tool supports both singlethreaded and multithreaded applications, and is sufficiently mature to be used on real-world applications. This paper describes the overall functionality and architecture of the tool, discusses its strengths and weaknesses, and reports on our experience with using the tool on case studies as well as in teaching

  • The S3MS.NET Run Time Monitor
    Electronic Notes in Theoretical Computer Science, 2009
    Co-Authors: Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe
    Abstract:

    This paper describes the S3MS.NET run time monitor, a tool that can enforce security policies expressed in a variety of Policy languages for .NET desktop or mobile applications. The tool consists of two major parts: a bytecode inliner that rewrites .NET assemblies to insert calls to a Policy decision point, and a Policy compiler that compiles source policies to Executable Policy decision points. The tool supports both singlethreaded and multithreaded applications, and is sufficiently mature to be used on real-world applications. This paper describes the overall functionality and architecture of the tool, discusses its strengths and weaknesses, and reports on our experience with using the tool on case studies as well as in teaching.

Lieven Desmet - One of the best experts on this subject based on the ideXlab platform.

  • The S3MS.NET Run Time Monitor: Tool Demonstration
    2015
    Co-Authors: Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Frank Piessens, Dries Vanoverberghe
    Abstract:

    This paper describes the S3MS.NET run time monitor, a tool that can enforce security policies expressed in a variety of Policy languages for.NET desktop or mobile applications. The tool consists of two major parts: a bytecode inliner that rewrites.NET assemblies to insert calls to a Policy decision point, and a Policy compiler that compiles source policies to Executable Policy decision points. The tool supports both singlethreaded and multithreaded applications, and is sufficiently mature to be used on real-world applications. This paper describes the overall functionality and architecture of the tool, discusses its strengths and weaknesses, and reports on our experience with using the tool on case studies as well as in teaching

  • The S3MS.NET Run Time Monitor
    Electronic Notes in Theoretical Computer Science, 2009
    Co-Authors: Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe
    Abstract:

    This paper describes the S3MS.NET run time monitor, a tool that can enforce security policies expressed in a variety of Policy languages for .NET desktop or mobile applications. The tool consists of two major parts: a bytecode inliner that rewrites .NET assemblies to insert calls to a Policy decision point, and a Policy compiler that compiles source policies to Executable Policy decision points. The tool supports both singlethreaded and multithreaded applications, and is sufficiently mature to be used on real-world applications. This paper describes the overall functionality and architecture of the tool, discusses its strengths and weaknesses, and reports on our experience with using the tool on case studies as well as in teaching.

Henning Sanneck - One of the best experts on this subject based on the ideXlab platform.

  • SEKE - Modeling of Domain-Specific ECA Policies.
    2011
    Co-Authors: Raphael Romeikat, Bernhard Bauer, Henning Sanneck
    Abstract:

    Policy-based management is a flexible approach for the management of complex systems as policies make context-sensitive and automated decisions. For the effective development of policies it is desired to specify policies at a high level of abstraction initially, and to refine them until they are represented in a machine-Executable way. We present an approach that uses models to specify event-condition-action (ECA) policies at different levels of abstraction. A relational algebra is used to specify and validate the models in a formal way. Finally, Executable Policy code is generated from the lowlevel models. The approach is generic as it can be applied to any domain and supports a flexible number of abstraction layers. It is applied to the network management domain and demonstrated with the modeling and refinement of policies for coverage optimization in a mobile network. Keywords-domain; Policy; ECA; modeling; refinement; MDE; network management