Publications personnelle

188documents trouvés

12692
08/01/2013

An automated vulnerability-based approach for web applications attack scenarios generation

E.ALATA, M.KAANICHE, V.NICOMETTE, R.AKROUT

TSF

Rapport LAAS N°12692, Janvier 2013, 9p.

Diffusable

128784
12689
01/12/2012

Aircraft operational reliability. A model-based approach and a case study

K.TIASSOU, K.KANOUN, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS

ONERA, Airbus Op. Ltd, TSF

Rapport LAAS N°12689, Décembre 2012, 30p.

Diffusable

128780
12657
20/11/2012

Survey of security problems in cloud computing virtual machines

I.STUDNIA, E.ALATA, Y.DESWARTE, M.KAANICHE, V.NICOMETTE

TSF

Manifestation avec acte : Computer & Electronics Security Applications Rendez-vous ( CESAR ) 2012 du 20 novembre au 22 novembre 2012, Rennes (France), 2012, pp.61-74 , N° 12657

Lien : http://hal.archives-ouvertes.fr/hal-00761206

Diffusable

Plus d'informations

Abstract

Virtualization techniques are at the heart of Cloud Computing, and these techniques add their own vulnerabilities to those traditional in any connected computer system. This paper presents an overview of such vulnerabilities, as well as possible counter-measures to cope with them.

128677
12475
16/10/2012

Impact de l'évaluation de la fiabilité opérationnelle pendant la mission d'un avion

K.TIASSOU, K.KANOUN, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS

TSF, ONERA, Airbus Op. Ltd

Manifestation avec acte : Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement ( Lamda Mu ) 2012 du 16 octobre au 18 octobre 2012, Tours (France), 2012, 9p. , N° 12475

Lien : http://hal.archives-ouvertes.fr/hal-00761050

Diffusable

Plus d'informations

Résumé

Lors de la conception des avions, il est courant que les constructeurs évaluent la sûreté de fonctionnement en utilisant des modèles stochastiques, mais l'évaluation de la fiabilité opérationnelle à l'aide de modèles, en ligne, reste rarement effectuée. Souvent, l'évaluation stochastique concerne la sécurité des avions ou des missions. Cet article aborde la fiabilité opérationnelle des missions d'avion, à la suite de défaillances de composants, de modifications dans l'environnement opérationnel, ou de changement concernant les possibilités de maintenance dans les diverses escales que comporte la mission. Nous décrivons comment l'évaluation de la fiabilité opérationnelle en ligne peut permettre d'ajuster une mission d'avion, en cas de changements majeurs durant sa réalisation. L'évaluation est rendue possible grâce à la construction et à la validation d'un modèle de sûreté de fonctionnement facile i) à utiliser pour la définition d'une mission initiale, et ii) à mettre à jour lors de la réalisation d'une mission, suite à l'occurrence de certains événements majeurs. Le modèle peut être construit dès la phase de conception, par des ingénieurs spécialistes en sûreté de fonctionnement, en utilisant les processus stochastiques. La mise à jour et le traitement du modèle, en phase opérationnelle, peuvent être effectués par les exploitants, qui ne sont pas nécessairement familiers avec les processus stochastiques. Nous présentons des exemples de résultats qui montrent le rôle important de la réévaluation de la fiabilité opérationnelle pendant une mission d'avion.

128432
11044
10/10/2012

Security-related vulnerability life cycle analysis

G.VACHE, V.NICOMETTE, M.KAANICHE

TSF

Manifestation avec acte : International Conference on Risks and Security of Internet and Systems 2012 du 10 octobre au 12 octobre 2012, Cork (Irelande), 2012, 14p. , N° 11044

Diffusable

128671
12013
10/10/2012

Detecting attacks against data in web applications

R.LUDINARD, E.TOTEL, F.TRONEL, V.NICOMETTE, M.KAANICHE, E.ALATA, R.AKROUT, Y.BACHY

SUPELEC Rennes, TSF

Manifestation avec acte : International Conference on Risks and Security of Internet and Systems ( CRiSIS ) 2012 du 10 octobre au 12 octobre 2012, Cork (Irelande), 2012, 12p. , N° 12013

Diffusable

128672
12474
08/10/2012

Impact of operational reliability re-assessment during aircraft missions

K.TIASSOU, K.KANOUN, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS

TSF, ONERA, Airbus Op. Ltd

Manifestation avec acte : International Symposium on Reliable Distributed Systems ( SRDS ) 2012 du 08 octobre au 11 octobre 2012, Irvine (USA), 2012, 6p. , N° 12474

Lien : http://hal.archives-ouvertes.fr/hal-00755266

Diffusable

Plus d'informations

Abstract

This paper addresses an aircraft mission operational reliability as resulting from component failures, environment changes, and maintenance facilities offered at the various stops involved in the mission. We will show how the on-line assessment of operational reliability will help adjust an aircraft mission, in case of major changes to equipment availability during the mission. The assessment is made possible thanks to the building and validation of a generic dependability model that is easily i) processed for the assignment of an initial mission, and ii) updated during mission accomplishment, following the occurrence of some specific major events. The generic model can be built as early as the design phase, by engineers who are specialist in dependability assessment, based on stochastic processes. Model update and processing, during aircraft operation, can be achieved by operators who are not necessarily familiar with stochastic processes in the way that they are being applied in this research. We will present examples of results that show the valuable role of operational dependability re-assessment during aircraft mission.

128573
12643
07/10/2012

Applying existing standards to a medical rehabilitation robot: limits and challenges

J.GUIOCHET, Q.A.DO HOANG, M.KAANICHE, D.POWELL

TSF

Manifestation avec acte : Intelligent Robots and Systems ( IROS ) 2012 du 07 octobre au 12 octobre 2012, Algarve (Portugal), 2012, 6p. , N° 12643

Diffusable

128594
11020
06/09/2012

A vulnerability life cycle based security modeling and evaluation approach

G.VACHE, M.KAANICHE, V.NICOMETTE

TSF

Revue Scientifique : The Computer Journal, 25p., Septembre 2012, doi: 10.1093/comjnl/bxs112 , N° 11020

Diffusable

127965
12232
27/08/2012

A model-based security assessment approach: vulnerability life-cycle, attacker behavior and administrator profile

G.VACHE, M.KAANICHE, V.NICOMETTE

TSF

Manifestation avec acte : International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2012), Paris (France), 27-28 Août 2012, pp.60-71 , N° 12232

Diffusable

127885
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de fonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/