References of "Legay, A"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailModelling Attack-defense Trees Using Timed Automata
Gadyatskaya, Olga UL; Hansen, R. R.; Larsen, K. G. et al

in Proc. of FORMATS (2016)

Performing a thorough security risk assessment of an organisation has always been challenging, but with the increased reliance on outsourced and off-site third-party services, i.e., ``cloud services ... [more ▼]

Performing a thorough security risk assessment of an organisation has always been challenging, but with the increased reliance on outsourced and off-site third-party services, i.e., ``cloud services'', combined with internal (legacy) IT-infrastructure and -services, it has become a very difficult and time-consuming task. One of the traditional tools available to ease the burden of performing a security risk assessment and structure security analyses in general is attack trees, a tree-based formalism inspired by fault trees, a well-known formalism used in safety engineering. In this paper we study an extension of traditional attack trees, called attack-defense trees, in which not only the attacker's actions are modelled, but also the defensive actions taken by the attacked party. In this work we use the attack-defense tree as a goal an attacker wants to achieve, and separate the behaviour of the attacker and defender from the attack-defense-tree. We give a fully stochastic timed semantics for the behaviour of the attacker by introducing attacker profiles that choose actions probabilistically and execute these according to a probability density. Lastly, the stochastic semantics provides success probabilitites for individual actions. Furthermore, we show how to introduce costs of attacker actions. Finally, we show how to automatically encode it all with a network of timed automata, an encoding that enables us to apply state-of-the-art model checking tools and techniques to perform fully automated quantitative and qualitative analyses of the modelled system. [less ▲]

Detailed reference viewed: 75 (6 UL)
Full Text
Peer Reviewed
See detailA rheological interface model and its space-time finite element formulation for fluid-structure interaction
Legay, A.; Zilian, Andreas UL; Janssen, C.

in International Journal for Numerical Methods in Engineering (2011), 86(6), 667-687

This contribution discusses extended physical interface models for fluid-structure interaction problems and investigates their phenomenological effects on the behavior of coupled systems by numerical ... [more ▼]

This contribution discusses extended physical interface models for fluid-structure interaction problems and investigates their phenomenological effects on the behavior of coupled systems by numerical simulation. Besides the various types of friction at the fluid-structure interface the most interesting phenomena are related to effects due to additional interface stiffness and damping. The paper introduces extended models at the fluid-structure interface on the basis of rheological devices (Hooke, Newton, Kelvin, Maxwell, Zener). The interface is decomposed into a Lagrangian layer for the solid-like part and an Eulerian layer for the fluid-like part. The mechanical model for fluid-structure interaction is based on the equations of rigid body dynamics for the structural part and the incompressible Navier-Stokes equations for viscous flow. The resulting weighted residual form uses the interface velocity and interface tractions in both layers in addition to the field variables for fluid and structure. The weak formulation of the whole coupled system is discretized using space-time finite elements with a discontinuous Galerkin method for time-integration leading to a monolithic algebraic system. The deforming fluid domain is taken into account by deformable space-time finite elements and a pseudo-structure approach for mesh motion. The sensitivity of coupled systems to modification of the interface model and its parameters is investigated by numerical simulation of flow induced vibrations of a spring supported fluid-immersed cylinder. It is shown that the presented rheological interface model allows to influence flow-induced vibrations. © 2010 John Wiley & Sons, Ltd. [less ▲]

Detailed reference viewed: 66 (0 UL)
Full Text
Peer Reviewed
See detailThe enriched space-time finite element method (EST) for simultaneous solution of fluid-structure interaction
Zilian, Andreas UL; Legay, A.

in International Journal for Numerical Methods in Engineering (2008), 75(3), 305-334

The paper introduces a weighted residual-based approach for the numerical investigation of the interaction of fluid flow and thin flexible structures. The presented method enables one to treat strongly ... [more ▼]

The paper introduces a weighted residual-based approach for the numerical investigation of the interaction of fluid flow and thin flexible structures. The presented method enables one to treat strongly coupled systems involving large structural motion and deformation of multiple-flow-immersed solid objects. The fluid flow is described by the incompressible Navier-Stokes equations. The current configuration of the thin structure of linear elastic material with non-linear kinematics is mapped to the flow using the zero iso-contour of an updated level set function. The formulation of fluid, structure and coupling conditions uniformly uses velocities as unknowns. The integration of the weak form is performed on a space-time finite element discretization of the domain. Interfacial constraints of the multi-field problem are ensured by distributed Lagrange multipliers. The proposed formulation and discretization techniques lead to a monolithic algebraic system, well suited for strongly coupled fluid-structure systems. Embedding a thin structure into a flow results in non-smooth fields for the fluid. Based on the concept of the extended finite element method, the space-time approximations of fluid pressure and velocity are properly enriched to capture weakly and strongly discontinuous solutions. This leads to the present enriched space-time (EST) method. Numerical examples of fluid-structure interaction show the eligibility of the developed numerical approach in order to describe the behavior of such coupled systems. The test cases demonstrate the application of the proposed technique to problems where mesh moving strategies often fail. Copyright © 2007 John Wiley & Sons, Ltd. [less ▲]

Detailed reference viewed: 106 (6 UL)