ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Décisions, argumentation et traçabilité dans l’Ingénierie des Systèmes d’Information
En savoir plus >>
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 15/3 - 2010  - pp.113-136
TITRE
Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB3SEC

TITLE
Modeling security policies with process algebra. A presentation of the EB3SEC

RÉSUMÉ
Cet article présente la méthode EB3 SEC, extension de la méthode EB3 , méthode formelle basée sur une algèbre de processus, qui permet de spécifier des politiques de sécurité fonctionnelle dans des systèmes d'information. Trois niveaux de sécurité peuvent être spécifiés, ce qui permet de définir des règles de contrôle d'accès pour des actions élémentaires (requêtes SQL), des services ou transactions mais aussi pour des processus d'affaire. L'aspect fonctionnel du système d'information étant également décrit en EB3, il est alors possible de vérifier la cohérence globale du système. Une implémentation possible de la méthode est finalement décrite.


ABSTRACT
This article presents the method EB3 SEC, extension of EB3 , a formal method based on process algebra. It is designed to specify functional security policies for information systems. Three security levels can be specified, enabling us to define access control rules for elementary actions (SQL statements), services or transactions and also business processes. As the functional aspect of information systems can also be defined in EB3 , the global consistency of the system can be verified. The article ends by describing an implementation of the method.


AUTEUR(S)
Pierre KONOPACKI, Marc FRAPPIER, Régine LALEAU

MOTS-CLÉS
conception de systèmes d'information, politiques de sécurité, méthodes formelles, algèbre de processus.

KEYWORDS
information system specification, security policies, formal methods, process algebra.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (343 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier