Loading...
Please wait, while we are loading the content...
Similar Documents
Une méthode de définition des exigences de sécurité fondée sur l'utilisation des ontologies.
| Content Provider | Semantic Scholar |
|---|---|
| Author | Souag, Amina |
| Copyright Year | 2012 |
| Abstract | Au cours de ces dernieres annees, la problematique de la securite est devenue une preoccupation importante, qui doit etre prise en compte au plus tot dans le cycle de developpement des systemes, et tout particulierement dans la phase d'ingenierie des exigences (IE). Plusieurs travaux ont deja ete menes sur l'ingenierie des exigences de securite. Differentes approches, utiles pour la definition des exigences de securite, ont ainsi ete proposees. Parmi les methodes ainsi definies, certaines posent la question de la reutilisation de connaissances capitalisees afin de faciliter l'elucidation et d'ameliorer la completude des exigences. Nous avons developpe au cours de travaux precedents une methode qui s'appuie sur des ontologies pour guider la decouverte des besoins. Les ontologies sont connues pour etre des sources riches de connaissances et, etant structurees et dotees de mecanismes de raisonnement, elles forment un outil puissant pour guider l'analyse des exigences. Nos experiences nous ont cependant montre qu'il etait particulierement crucial de bien choisir ces ontologies afin de maximiser les chances de produire des resultats utiles. Nous proposons, dans ce projet de recherche, de mobiliser deux types d'ontologies pour supporter le processus d'ingenierie des exigences de securite : les ontologies de securite, et les ontologies de domaine. L'hypothese principale que nous souhaitons demontrer est que le recours combine a ces deux types d'ontologies pour guider l'elucidation des exigences est plus efficace que lorsqu'on ne se base que sur des ontologies generalistes. Notre methodologie de recherche est de type design science : apres avoir mene une recherche bibliographique et des etudes empiriques (etudes de cas, interviews d'experts) pour bien formuler notre question de recherche et nos hypotheses, nous avons elabore une methode a base de regles capables de proposer de nouveaux elements a ajouter a une specification d'exigences de securite. La troisieme etape de notre projet visera a valider notre methode de maniere empirique, afin d'en demontrer l'effectivite et la scalabilite. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://hal-paris1.archives-ouvertes.fr/hal-00864306/document |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
