CETIC

Envoyez votre candidature

Bérengère Fally — 2010-06-18T10:21:58Z

Si vous êtes intéressé par le monde de la recherche appliquée en informatique, si le défi de participer au redressement économique de la Région Wallonne vous motive, si vous faites preuve de dynamisme, d'autonomie, d'initiative et d'esprit d'équipe, alors n'hésitez pas à envoyer spontanément une lettre de candidature, accompagnée de votre CV à l'adresse ci-dessous.

Adresse où envoyer votre lettre de candidature et CV :

Simon ALEXANDRE
Directeur du CETIC
Rue des Frères Wright 29/3
B-6041 Charleroi

e-mail : jobs@cetic.be

Evaluation et expérimentation des outils de l'informatique légale (Digital Forensics)

Christophe PONSARD — 2010-03-30T12:38:01Z

Profil et prérequis

Un étudiant de type graduat ou stage de licence ayant des connaissances en fonctionnement des systèmes d'exploitation ; langages de programmation orientée objet ; principes fondamentaux de sécurité.

Contexte

L'informatique légale ou l'investigation numérique légale consiste l'analyse d'un système informatique effectuée après un incident (ex. une attaque malveillante, une intrusion, etc.). L'informatique légale utilise des techniques spécialisées pour la collecte, l'extraction, l'interprétation, l'analyse, et la présentation de l'information numérique. Aujourd'hui il existe plusieurs outils pour exploiter des techniques d'analyse forensique numérique. La gamme de ces outils peut être classée selon différents critères comme le domaine d'analyses (analyse de fichiers log, analyse des ports, analyse du disque dur, etc.), la performance, prix, environnement d'exécution, etc. Une évaluation accompagnée par un ensemble d'expérimentation de ces outils est nécessaire pour leur classement.

Travail à réaliser

Le travail consistera en une évaluation et expérimentation des diverses outils de l'informatique légale sur une infrastructure de test permettant de simuler des scénarios d'attaque.

Une liste non-exhaustive des outils open source est disponible à http://www.opensourceforensics.org/.... Certain outils commerciaux seront également analysés mais des outils open sources seront privilégiées.

Une liste des outils à analyser sera faite au début de ce stage. Le résultat attendu est une chaine d'outils et une guide d'utilisation de ces outils. La chaine d'outils consistera une gamme des outils pour réaliser différents examens d'une analyse complète .

Ce travail se situe dans le cadre de la thématique 3, sécurité et certification du centre d'expertise en ingénierie et qualité des systèmes (CE-IQS).

Références

1. L'Informatique Légale – http://fr.wikipedia.org/wiki/Inform... 2. Eoghan Casey, Digital Evidence and Computer Crime, Second Edition, Academic Press, March 2004, ISBN 978-0121631048 3. Chris Prosise, Kevin Mandia, Matt Pepe, Incident Response and Computer Forensics, Second Edition, McGraw-Hill/Osborne Publisher, July 2003, ISBN 978-0072226966

130. Développement d'un outil d'analyse de risque sous Eclipse

Gautier Dallons — 2010-01-02T10:12:15Z

Le stage consistera à faire évoluer un outil d'analyse de risque basé sur les frameworks d'Eclipse. Cet outil a pour objectif de répondre au besoin industriel de disposer d'une analyse de risque en sécurité rapidement, facilement et à faible coût afin de prioritiser les investissements et de mettre au point une stratégie de sécurité.

L'outil existant permet de réaliser une analyse des risques existants et une évaluation de ces risques.

Les principales évolutions seront :

la gestion des contre-mesures et la production de l'évaluation revue des risques
la génération du rapport d'analyse
l'estimation d'un ROI de l'investissement en sécurité en fonction des risques
l'estimation du bénéfice réalisé sur base des contres-mesures

Le développement se basera sur un plugin Eclipse de modélisation graphique des risques en sécurité informatique. L'outil est développé en exploitant les frameworks emf/gmf.

Ce travail s'appuiera sur les travaux de définition d'un langage de modélisation de risque de N. Mayer, sur les travaux de D. Moody et sur la méthode de gestion des risques du Fedict.

Pour la partie évaluation du ROI et du bénéfice escompté, une recherche devra être menée pour proposer un modèle compatible avec l'approche existante.

Ce travail aura un double objectif :

une consolidation de l'outil existant
le développement d'une méthode de quantification du ROI et du bénéfice.

Contact : Gautier Dallons gd@cetic.be

160. Extension d'un outil d'ingénierie des exigences à l'ingénierie des systèmes

Christophe PONSARD — 2009-12-31T12:40:57Z

Profil

Un étudiant de niveau master

Contexte

L'Ingénierie Système (IS) est une démarche méthodologique coopérative et interdisciplinaire qui englobe l'ensemble des activités adéquates pour concevoir, développer, faire évoluer et vérifier un système apportant une solution optimisée sur tout le cycle de vie aux besoins d'un client tout en étant acceptable par tous (IEEE1220).

L'IS a s'applique à des développement de grands systèmes technologiques et de produits très complexes (systèmes spatiaux, de déense, nucléaire, lanceurs, aéronefs...) mais est également largement applicables tant dans les applications industrielles et d'ingénierie plus traditionnelle.

L'IS recouvre des activités d'ingénierie des exigences (IE) et s'appuie sur des techniques avancées en la matière, notamment en matière de structuration et de modélisation des exigences. Une caractéristiques de l'IS est qu'il repose sur une démarche de décomposition itérative en sous-systèmes et constituants en identifiant leurs intéractions jusqu'à ce qu'on atteigne des composants existants ou réalisables par un métier.

Travail à réaliser

Le travail consistera a faire évoluer une méthodologie outillée d'ingénierie des exigences pour un meilleur support de l'ingénierie système, notamment au niveau du raffinement
d'un système en sous-système avec des notions de décomposition d'agents en système de sous-agents à une niveau de granularité plus fin
d'une exigence système en un série de sous-buts du sous-systèmes assignés en fin de compte à des sous-agents.

En pratique, les grandes étapes du travail consistera en :
l'extension du méta-modèle d'IE avec la notion de sous-système propre à l'IS
la définition de mécanisme de liaison entre système et sous-systèmes en termes d'agents, objectifs, exigences, opérations de diverses granularité
l'identification de plusieurs exemples de diverses complexités
la réalisation d'un prototype d'outil étendant l'outil Objectiver
la validation sur les quelques exemples retenus

Informations complémentaires

Le travail se fera en collaboration avec l'UCL (département INGI) et la société Respect-IT.

Références

Ingénierie des systèmes (AFIS)
Requirements Engineering From System Goals to UML Models to Software Specifications
Objectiver

150. Conception d'un outil d'évaluation de points de fonction

Christophe PONSARD, Sanae Saadaoui — 2009-12-31T09:48:48Z

Profil

1 étudiant de niveau master en informatique

Contexte

L'estimation des logiciels devient un aspect crucial du génie logiciel. L'estimation et la mesure de la taille fonctionnelle des logiciels sont nécessaires pour réaliser une analyse de la performance (productivité de développement, taux de livraison au marché, densité des défauts) et avoir une méthode d'estimation du temps de développement de nouveaux projets.

COSMIC, COmmon Software Measurement International Consortium, est une des méthodes d'estimation de taille fonctionnelle les plus récentes et les plus performantes. COSMIC est conforme à la norme ISO/IEC 19761. La méthode rencontre un succès croissant chez les industriels. Elle se base sur des critères objectifs et scientifiques pour l'estimation de la taille fonctionnelle d'un logiciel.

COSMIC exploite de l'information présente dans un cahier de charges, donc préalablement à tout développement. L'analyse du cahier de charges mets fréquemment en évidence des problèmes lié à celui-ci (information manquante, imprécise,...) et nécessite des phases d'itération.

L'idée du travail est d'intégrer dans la phase d'élaboration du cahier de charge certaines contraintes liées à l'analyse COSMIC afin que tout l'information soit disponible pour produire une évaluation COSMIC. Les avantages sont multiples :
l'analyse COSMIC est produit à coût réduit, au sein même de l'équipe qui produit les spécifications
l'analyse peut même être couplée à un outil d'ingénierie des exigences
la qualité du cahier de charges est améliorée et guidée par des éléments d'information précis à fournir

Travail à réaliser

Le travail consistera en
la définition d'un algorithme permettant de calculer les points de fonctions a partir de l'information présente dans un modèle d'exigence basé sur un méta-modèle précis structuré en buts, cas d'utilisation, opérations, entrées, sorties,...
la validation sur plusieurs exemples de complexité croissantes, certains issus d'étude réelles
l'implémentation d'un prototype sous forme d'un plug-in d'un outil implémentant déjà le modèle d'exigence choisi (avec les extensions éventuellement nécessaires). L'outil retenu sera l'outil Objectiver. Les technologies de modélisation seront basées sur Eclipse EMF.
la documentation de conseils sur la manière optimale de réaliser un cahier de charges de manière à produire les estimations COSMIC à moindre effort

Informations complémentaires

Le travail se fera en collaboration avec les FUNDP (centre Precise) et la société Respect-IT.

Références

points de fonctions
COSMIC
Objectiver

10. Générateur de site web SGV/HTML cross-browser

Christophe PONSARD — 2009-11-27T09:01:45Z

1. Profil

1 étudiant en stage de master

2. Description

L'outil de conception de cahier de charges Objectiver permet de modéliser des besoins d'un système informatique à l'aide de notations graphiques évoluées (diagrammes de buts) et textuelles (open-office avec références). A partir de ces modèles il est possible de générer un cahier de charge au format texte (linéaire) ou hypertexte (navigable).

Le contexte du travail s'intéresse est la partie hypertexte qui comprend plusieurs frames dont un frame central présentant la partie graphique, générée en SVG, un frame textuel présentant la partie textuelle associée au diagramme ou concept sélectionné et enfin plusieurs frames de navigation/propriétés.


Exemple de site généré

Ce générateur a été initialement conçu pour Internet Explorer avec le plugin SVG d'Adobe mais à évolué au cours du temps pour être compatible avec les nouvelles version d'Internet Explorer et Firefox (qui dispose d'un lecteur SVG interne). Il ne supporte pas de nouveaux navigateurs tels que Google Chrome ou le navigateur SAFARI (navigateur par défaut sur Mac).

3. Travail à réaliser

Le travail consistera a rendre le générateur mieux compatible avec les navigateurs actuels
un état des lieux des navigateurs actuels en terme de support SVG
un état des lieux du code généré actuellement pour identifier les points critiques pour la compatibilité
des expérimentations d'adaptations manuelles pour les autres navigateurs
une adaptation du générateur afin de généré le code correspondant

Les technologies utilisées et pour lequel un apprentissage sera assuré sont :
HTML pour le site web
SVG pour les graphiques
XML/XSL/XPATH pour les techniques de génération du site
Javascript pour certaines fonctions du site web
JAVA pour l'intégration dans l'outil (ponctuel)

4. Pré-requis

Connaissances de HTML, Javascript et bonnes bases en XML/XSL/XPATH. SVG est un plus.

5. Références

Objectiver
SVG
XSL

30. Contribution à un lecteur de bandes dessinées électroniques

Christophe PONSARD — 2009-07-27T07:37:31Z

Profil

1 étudiant dans le cadre d'un stage ou éventuellement en travail de fin d'étude en collaboration avec une université. Background minimal en traitement d'image conseillé.

Contexte

La bande dessinée reste actuellement essentiellement un média essentiellement papier pour diverses raisons : son confort de lecture, limitations de la navigation électronique, problème de droits, etc. Cependant l'évolution vers un support électronique est en cours, avec une demande particulière d'utilisateurs mobiles désireux d'emporter avec eux leur collections lors de leurs déplacements. Les personnes handicapées ont également des besoins spécifiques (visuel, moteurs) pour lequel le support électronique est plus adéquat.


Exemple de visualisateurs

En réponse à ces besoins, plusieurs lecteurs ont vu le jour, soit pour PC, soit pour device mobile (téléphone, PDA, console de jeux), ainsi que certains formats de fichiers spécifiques (cbr). Ces viewers sont cependant encore limités par certains égards, par exemple ils ne "comprennent" pas la structure d'une page : le lecteur doit gérer le scrolling et le zoom, ce qui dégrade l'expérience, à la fois pour les utilisateurs mobiles (faire résolution) et pour les personnes handicapées (capacités visuelles/motrices réduites).

Travail

Le travail consiste en l'amélioration d'un algorithme de détection des cases de BD sur une BD scannée afin de permettre un mode de lecture linéarisé. Les tâches plus précises sont
familiarisation avec les lecteurs existants
amélioration de la détection des cases (couleur de fond, cases, ouvertes, chevauchement, layout en grille ou en tranches,...)
amélioration de la détection de l'ordre de lecture (occidental, manga)
optionnellement : détection des bulles et reconnaissance de caractère


Algo de détection de cases.

Un prototypage sera réalisé en JAVA dans un premier temps et dans un langage lié à un des viewers existant, suivant un partenariat possible avec un des éditeurs de logiciels en la matière.


Interface de lecture par case

Références

Lecteur portable ComicBookDS
Lecteur portable AVE-COMICS
ComicBookLover
myComics
Enhancing the Accessibility for All of Digital Comic Bookse

Contact : Christophe Ponsard (cp@cetic.be)

20. Expérimentation avec des techniques et outils de mesures de couverture de code JAVA

Christophe PONSARD — 2009-07-08T06:49:24Z

Profil

Un étudiant dans le cadre d'un stage.

Contexte

Ce travail se situe dans le cadre de la thématique 2, vérification et validation de CE-IQS, le centre d'expertise en ingénierie et qualité des systèmes.

Le test logiciel est une activité cruciale d'un développement informatique et occupe une portion significative du temps total de développement. Les activités de test se répartissent sur divers niveaux de développement (représenté par le "modèle en V") et il permet d'avoir certaines garantie que le comportement d'une fonction, d'un composant ou de l'application entière dans son environnement correspond à la spécification correspondante.

Le test ne permet malheureusement pas de donner de garantie absolue de l'absence d'erreur car il est impossible de passer en revue tous les comportements possible du système. En pratique, on peut cependant objectiver le caractère exhaustif d'une activité de test par la notion de couverture du code testé. Divers critères existent : instructions, branches, conditions, chemins, points d'entrées/sorties, voir plus spécifiques (MC/DC).

Travail

L'objectif du travail est d'expérimenter les diverses notions de couvertures de code dans le cadre de code JAVA, en identifiant des outils soit open-source, soit commerciaux, disponible sur le marché. Le travail sera directement utile pour consolider l'expertise en outil de CE-IQS avec les critères suivants :
type de couverture supporté
performance de de l'outil : en temps, gestion de gros projets
facilité de navigation
possibilité de reporting
maturité (dans le cas des projets open-source)

Une suite de projet de test sera établie afin de réaliser l'évaluation.

Références (non exhaustives)

Code coverage
EMMA
Javelina
Coverclipse

100. Analyse orientée sécurité d'applications de type eID

Christophe PONSARD — 2009-06-07T06:50:53Z

Profil

Un étudiant ayant un background minimal en sécurité dans le cadre de son cursus (notions de vulnérabilité au niveau architecture/code, PKI

Description

Tous les citoyens belges auront bientôt (fin 2009) une carte d'identité électronique offrant des fonctions de capture de données, d'authentification et de signature électronique. Tout citoyen peut acquérir un lecteur pour quelques euros et installer le logiciel permettant d'exploiter la carte.

Lentement mais surement des applications dédiée apparaissent ou adoptent ce nouveau moyen : accès au registre national, tax-on-web, compte citoyen dans les communes, eBay Belgique. Depuis peu la SNCB permet également d'associer un billet électronique à la carte d'identité.

Comme toute application informatique de sécurité, la mise en place d'application eID exige un certain nombre de précaution, liée au niveau d'assurance par rapport aux propriétés de sécurité souhaitées (confidentialité, intégrité, disponibilité). En outre des contraintes liées à la notion de vie privée faisant l'objet d'une législation stricte doit également être respectée. Dans ce cadre, il est utile d'élaboration d'un guide de bonnes pratiques techniques pour la conception et l'analyse d'application eID. Des éléments de ce guide ont déjà été produits dans le cadre d'autres stages et TFE précédents. Un guide de choix stratégique est également disponible (voir références).

L'objectif du travail est de contribuer à consolider ce guide sur base de l'expérience acquise lors de la réalisation d'une application eID concrète qui sera si possible liée à un cas réel.

Références

Site eID fédéral
Page eID du CETIC
Best Practices for Applications using the electronic Identity Card (eID)

Informations complémentaires

Le travail se fera en lien possible avec une mission de terrain, avec une accord de confidentialité à respecter dans ce cas. L'étudiant pourra également être impliqué avec les travaux du groupe fédéral eID et de l'association LSEC.

Contact : Christophe Ponsard - cp@cetic.be

140. Couplage de cas d'utilisation et de modèles de buts

Christophe PONSARD — 2009-06-07T06:07:00Z

Profil

1 étudiant niveau fin de graduat ou master, dans le cadre d'un stage.

Description

Les cas d'utilisation (Use Case) sont une technique très répandue pour capturer des besoins fonctionnels d'un système. Ils permettent de décrire l'interaction entre l'acteur et le système. L'idée forte est de dire que l'utilisateur d'un système logiciel a un objectif quand il utilise le système. Le cas d'utilisation est une description des interactions qui vont permettre à l'acteur d'atteindre ses objectifs en utilisant le système. UML propose une notation graphique pour les représenter. Celle-ci est généralement complétée par un template capturant toutes les informations (acteur, but, données, pré/post conditions, étapes, exigences non-fonctionnelles éventuellement associées...)

La notion d'objectif est cependant largement informelle et au mieux capturée dans le template (notamment dans le template de Cockburn).

A l'inverse des méthodes d'ingénierie des exigences orientées buts telles que KAOS permettent de structurer et raisonner sur les exigences de manière systématique en utilisant la notion de but et de diagramme de buts, couplées à la notion d'agent et de concept du domaine.

L'idée du travail est de coupler les cas d'utilisation et le modèles de buts :
comment dériver un use-case documenté d'un modèle de buts ?
comment utiliser un use-case dans la démarche de construction d'un modèle de buts ?

Au niveau implémentation, l'étudiant sera amener a étendre un outil de génie logiciel Objectiver, en mettant en oeuvre les technologiqes Swing ou Eclipse/EMF/GMF selon de choix réalisé, et afin d'y intégrer des diagrammes de cas d'utilisation.

Références

Cockburn, Structuring Use Cases with Goals
A. van Lamsweerde, Requirements Engineering : From System Goals to UML Models to Software Specifications, Wiley, 2009
A. van Lamsweerde, Goal-Oriented Requirements Engineering : A Guided Tour, RE'01, Toronto, 2001
Outil Objectiver

Informations complémentaires

Le travail se fera en collaboration avec l'UCL (laboratoire INGI) et la société Respect-IT.

Contact : Christophe Ponsard - cp@cetic.be