188documents trouvés
Etude expérimentale d'attaques par dictionnaire
E.ALATA, M.KAANICHE, V.NICOMETTE
TSF
Manifestation avec acte : 3ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information (SAR/SSI'2008), Loctudy (France), 13-17 Octobre 2008, pp.301-315 , N° 08376
Diffusable
Plus d'informations
Mots-Clés / Keywords
Sécurité; Internet; SSH; Attaque par dictionnaire;
Internet attacks monitoring with dynamic connection redirection mechanisms
E.ALATA, I.ALBERDI, V.NICOMETTE, P.OWEZARSKI, M.KAANICHE
TSF, OLC
Revue Scientifique : Journal in Computer Virology, Vol.4, N°2, pp.127-136, Mai 2008 , N° 08246
Diffusable
Plus d'informations
Abstract
High-interaction honeypots are interesting as they help understand how attacks unfold on a compromised machine. However, observations are generally limited to the operations performed by the attackers on the honeypot itself. Outgoing malicious activities carried out from the honeypot towards remote machines on the Internet are generally disallowed for legal liability reasons. It is particularly instructive, however, to observe activities initiated from the honeypot in order to monitor attacker behavior across different, possibly compromised remote machines. This paper proposes to this end a dynamic redirection mechanism of connections initiated from the honeypot. This mechanism gives the attacker the illusion of being actually connected to a remote machine whereas he is redirected to another local honeypot. The originality of the proposed redirection mechanism lies in its dynamic aspect: the redirections are made automatically on the fly. This mechanism has been implemented and tested on a Linux kernel. This paper presents the design and the implementation of this mechanism.
Dependability evaluation of a replication service for mobile applications in dynamic ad-hoc networks
E.V.MATTHIESEN, O.HAMOUDA, M.KAANICHE, H.P.SCHWEFEL
AAU Danemark, TSF, AAU
Manifestation avec acte : 5th International Service Availability Symposium (ISAS-2008), Tokyo (Japon), 19-21 Mai 2008, 20p. , N° 08069
Diffusable
Plus d'informations
Abstract
In order to increase availability and reliability of stateful applications, redundancy as provided by replication in cluster solutions is a well-known and frequently utilized approach. For mobile services in dynamic ad-hoc networks, such replication mechanisms have to be adapted to deal with the frequently higher communication delays and with the intermittent connectivity. Dynamic clustering strategies in which the replica set is adjusted to the current network state can help to handle the network dynamicity. The paper develops a stochastic Petri net model (and its corresponding Markov chain representation) to analyze the resulting availability and replica consistency in such dynamic clusters. The numerical results are interpreted in the context of a vehicular (c2c) communication use-case and can be used to determine optimized cluster configuration parameters.
Dependability modeling and evaluation of an automated highway system
O.HAMOUDA, M.KAANICHE, K.KANOUN
TSF
Manifestation avec acte : 7th European Dependable Computing Conference (EDCC 2008), Kaunas (Lithuanie), 7-9 Mai 2008, 2p. , N° 08163
Diffusable
114014The ADAPT tool: from AADL architectural models to stochastic petri nets through model transformation
A.E.RUGINA, K.KANOUN, M.KAANICHE
TSF
Manifestation avec acte : 7th European Dependable Computing Conference (EDCC 2008), Kaunas (Lithuanie), 7-9 Mai 2008, 12p. , N° 07555
Lien : http://hal.archives-ouvertes.fr/hal-00323969/fr/
Diffusable
Plus d'informations
Abstract
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 Language). Hence, its input is an AADL architectural model annotated with dependability-related information. Its output is a dependability evaluation model in the form of a Generalized Stochastic Petri Net (GSPN). The latter can be processed by existing dependability evaluation tools, to compute quantitative measures such as reliability, availability, etc.. ADAPT interfaces OSATE (the Open Source AADL Tool Environment) on the AADL side and SURF-2, on the dependability evaluation side. In addition, ADAPT provides the GSPN in XML/XMI format, which represents a gateway to other dependability evaluation tools, as the processing techniques for XML files allow it to be easily converted to a tool-specific GSPN.
Mots-Clés / Keywords
Dependability; Modeling; AADL;
A collaborative access control framework for critical infrastructures
A.BAINA, A.ABOU EL KALAM, Y.DESWARTE, M.KAANICHE
TSF, IRIT-UPS
Manifestation avec acte : Second Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, Arlington (USA), 16-19 Avril 2008, 20p. , N° 08010
Diffusable
Plus d'informations
Mots-Clés / Keywords
Critical infrastructure; Critical information infrastructure; Security; Access control policies and models; Collaboration; Interopérabilité;
Modeling the resilience of large and evolving systems
M.KAANICHE, P.LOLLINI, A.BONDAVALLI, K.KANOUN
TSF, UNIFI
Revue Scientifique : International Journal of Performability Engineering, Vol.4, N°2, pp.153-168, Avril 2008 , N° 07698
Lien : http://hal.archives-ouvertes.fr/hal-00756957
Diffusable
Plus d'informations
Abstract
This paper summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resilience-scaling challenges and properties related to the ubiquitous computerized systems. We mainly focus on quantitative evaluation approaches and, in particular, on model-based evaluation techniques that are commonly used to evaluate and compare, from the dependability point of view, different architecture alternatives at the design stage. We outline some of the main modeling techniques aiming at mastering the largeness of analytical dependability models at the construction level. Actually, addressing the model largeness problem is important with respect to the investigation of the scalability of current techniques to meet the complexity challenges of ubiquitous systems. Finally we present two case studies in which some of the presented techniques are applied for modeling web services and General Packet Radio Service (GPRS) mobile telephone networks, as prominent examples of large and evolving systems.
Mots-Clés / Keywords
Dependability; Ubiquitous systems; Stochastic modeling; Evaluation;
Preliminary modelling framework. CRUTIAL deliverable D8
M.KAANICHE, M.BECCUTI, C.BRASCA, S.CHIARADONNA, S.DONATELLI, F.DI GIANDOMENICO, G.FRANCESCHINIS, K.KANOUN, J.C.LAPRIE, P.LOLLINI, F.ROMANI
TSF, CNIT, CESI, CNUCE, UNIFI, CNR-ISTI
Rapport de Contrat : CRUTIAL, Project IST-FP6-STREP - 027513, Janvier 2008, 77p. , N° 08027
Diffusable
Plus d'informations
Mots-Clés / Keywords
Critical infrastructure; Power systems; Interdependencies modelling; Dependability and security evaluation;
Application of the evaluation framework to the complete scenario (preliminary version). Deliverble n° D4.2.1
P.LOLLINI, A.BONDAVALLI, A.CECCARELLI, L.COURTES, L.FALAI, J.GRONBAEK, O.HAMOUDA, M.KAANICHE, M.O.KILLIJIAN, M.KOVACS, I.MAJZIK, E.V.MATTHIESEN, A.NICKELSEN, L.MONTECCHI, J.J.NIELSEN, D.POWELL, T.RENIER
UNIFI, TSF, BME Hungary, AAU Danemark, AAU
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Janvier 2008, 107p. , N° 08032
Diffusable
112771Model-based evaluation of the middleware services and protocols & architectural patterns. CRUTIAL Deliverable D25
S.DONATELLI, E.ALATA, A.BONDAVALLI, D.CEROTTI, ADAIDONE, S.CHIARADONNA, F.DI GIANDOMENICO, M.KAANICHE, V.NICOMETTE, F.ROMANI, L.SIMONCINI
CNIT, TSF, UNIFI, CNR-ISTI, CNUCE
Rapport de Contrat : CRUTIAL, Project IST-FP6-STREP - 027513, Janvier 2008, 44p. , N° 08029
Diffusable
Plus d'informations
Mots-Clés / Keywords
Performance and dependability evaluation; Architectural building blocks; System verification; Electrical power system evaluation;