Mohamed Kaaniche

Modelling interdependencies between the electricity and information infrastructures (2008)

Laprie, Jean-Claude, Kanoun, Karama, Kaaniche, Mohamed

The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the associated information...

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation (2008)

Rugina, Ana E., Kanoun, Karama, Kaaniche, Mohamed

ADAPT is a tool that aims at easing the task of evaluating dependability measures in the context of modern model driven engineering processes based on AADL (Architecture Analysis and Design...

Software dependability modeling using an industry-standard architecture description language (2008)

Rugina, Ana-Elena, Feiler, Peter H., Kanoun, Karama, Kaaniche, Mohamed

Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the...

Software dependability modeling using an industry-standard architecture description language (2008)

Rugina, Ana-Elena, Feiler, Peter, Kanoun, Karama, Kaaniche, Mohamed

Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the...

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation (2008)

Rugina, Ana, Kanoun, Karama, Kaaniche, Mohamed

ADAPT is a tool that aims at easing the task of evaluating dependability measures in the context of modern model driven engineering processes based on AADL (Architecture Analysis and Design...

Software dependability modeling using an industry-standard architecture description language (2008)

Rugina, Ana-Elena, Feiler, Peter, Kanoun, Karama, Kaaniche, Mohamed

Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the...

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation (2008)

Rugina, Ana, Kanoun, Karama, Kaaniche, Mohamed

ADAPT is a tool that aims at easing the task of evaluating dependability measures in the context of modern model driven engineering processes based on AADL (Architecture Analysis and Design...

Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study (2007)

Simache, Cristina, Kaaniche, Mohamed

This paper presents a measurement-based availability assessment study using field data collected during a 4-year period from 373 SunOS/Solaris Unix workstations and servers interconnected through a...

Empirical analysis and statistical modeling of attack processes based on honeypots (2007)

Kaaniche, Mohamed, Deswarte, Y., Alata, Eric, Dacier, Marc, Nicomette, Vincent

Honeypots are more and more used to collect data on malicious activities on the Internet and to better understand the strategies and techniques used by attackers to compromise target systems....

An architecture-based dependability modeling framework using AADL (2007)

Rugina, Ana-Elena, Kanoun, Karama, Kaaniche, Mohamed

For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as...

A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture (2007)

Kaaniche, Mohamed, Romano, Luigi, Kalbarczyk, Zbigniew, Iyer, Ravishankar, Karcich, Rick

We present a hierarchical simulation approach for the dependability analysis and evaluation of a highly available commercial cache-based RAID storage system. The archi-tecture is complex and includes...

Modelling interdependencies between the electricity and information infrastructures (2007)

Laprie, Jean-Claude, Kanoun, Karama, Kaaniche, Mohamed

The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the associated information...

Modelling interdependencies between the electricity and information infrastructures (2007)

Laprie, Jean-Claude, Kanoun, Karama, Kaaniche, Mohamed

The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the associated information...

Resilience-Building Technologies: State of Knowledge (2007)

Lorenzo Strigini, Nuno Neves, Michel Raynal, Michael Harrison, Mohamed Kaaniche, Friedrich Von Henke, ...

are stored in PDF, with the report number as filename. Alternatively, reports are available by post from the above address.

An architecture-based dependability modeling framework using AADL (2006)

Rugina, Ana-Elena, Kanoun, Karama, Kaaniche, Mohamed

For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as...

Empirical analysis and statistical modeling of attack processes based on honeypots (2006)

Kaaniche, Mohamed, Deswarte, Y., Alata, Eric, Dacier, Marc, Nicomette, Vincent

Honeypots are more and more used to collect data on malicious activities on the Internet and to better understand the strategies and techniques used by attackers to compromise target systems....

An architecture-based dependability modeling framework using AADL (2006)

Rugina, Ana-Elena, Kanoun, Karama, Kaaniche, Mohamed

For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as...

Empirical analysis and statistical modeling of attack processes based on honeypots (2006)

Kaaniche, Mohamed, Deswarte, Y., Alata, Eric, Dacier, Marc, Nicomette, Vincent

Honeypots are more and more used to collect data on malicious activities on the Internet and to better understand the strategies and techniques used by attackers to compromise target systems....

Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study (2005)

Simache, Cristina, Kaaniche, Mohamed

This paper presents a measurement-based availability assessment study using field data collected during a 4-year period from 373 SunOS/Solaris Unix workstations and servers interconnected through a...

Collection and analysis of attack data based on honeypots deployed on the Internet (2005)

Alata, Eric, Dacier, Marc, Deswarte, Yves, Kaaniche, Mohamed, Kortchinsky, Kostya, Nicomette, Vincent, ...

The CADHo project (Collection and Analysis of Data from Honeypots) is an ongoing research action funded by the French ACI "Securité & Informatique” [1]. It aims at building an environment to better...

Collection and analysis of attack data based on honeypots deployed on the Internet (2005)

Alata, Eric, Dacier, Marc, Deswarte, Yves, Kaaniche, Mohamed, Kortchinsky, Kostya, Nicomette, Vincent, ...

The CADHo project (Collection and Analysis of Data from Honeypots) is an ongoing research action funded by the French ACI "Securité & Informatique” [1]. It aims at building an environment to better...

Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study (2005)

Simache, Cristina, Kaaniche, Mohamed

This paper presents a measurement-based availability assessment study using field data collected during a 4-year period from 373 SunOS/Solaris Unix workstations and servers interconnected through a...

A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture (1998)

Kaaniche, Mohamed, Romano, Luigi, Kalbarczyk, Zbigniew, Iyer, Ravishankar, Karcich, Rick

We present a hierarchical simulation approach for the dependability analysis and evaluation of a highly available commercial cache-based RAID storage system. The archi-tecture is complex and includes...

A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture (1998)

Kaaniche, Mohamed, Romano, Luigi, Kalbarczyk, Zbigniew, Iyer, Ravishankar, Karcich, Rick

We present a hierarchical simulation approach for the dependability analysis and evaluation of a highly available commercial cache-based RAID storage system. The archi-tecture is complex and includes...