Projet SELKIS

Articles de l'année 2010
• Michel EMBE-JIAGUE, Richard St-DENIS, Marc FRAPPIER, Frédéric GERVAIS, Régine LALEAU, “From ASTD access control policies to WSBPEL processes deployed in a SOA environment.” 1st International Symposium on Web Intelligent Systems & Services (WISS 2010). Hong Kong, China, December 12, 2010. To be published in Springer-Verlag, LNCS. 15 pages.

• N. Lammari , J. Bucumi , J. Akoka , I. Comyn-Wattiau. Un modèle CIM pour les systèmes d'information sécurisés, IBIMA'10, 15th IBIMA (International Business Information Management Association) Conference on Knowledge Management and Innovation: A Business Competitive Edge Perspective, French Session. 6-7 November 2010, Cairo, Egypt.

• Hanieh Azkia, Nora Cuppens-Boulahia, Frédéric Cuppens, GouenouCoatrieux, Reconciling IHE-ATNA Profile with a Posteriori Contextual Access and Usage Control Policy in Healthcare Environment, 2010 Sixth International Conference on Information Assurance and Security, pp. 197-203.

• Jérémy Milhau, Marc Frappier, Frederic Gervais and Régine Laleau, Systematic translation rules from ASTD to Event-B, 8th International Conference on Integrated Formal Methods, 11-14 october 2010, Nancy, France, 2010. To be published in Springer-Verlag, LNCS.

• Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis, Model-Driven Engineering of Functional Security Policies. ICEIS 2010 12th International Conference on Enterprise Information Systems 8 - 12 June 2010, Funchal, Madeira - Portugal

• M.-A. Labiadh, A. Idani, Y. Ledru. Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL - 2010). Poitiers, Juin 2010. (16 pages).

• A. Idani, Y. Ledru, M.-A. Labiadh. Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B. RSTI - Ingénierie des Systèmes d'Information (ISI). Volume 15 (3), Hermes-Lavoisier 2010. Numéro spécial INFORSID'09/ISI.

• S. PREDA, N. CUPPENS-BOULAHIA, F. CUPPENS, J. GARCIA ALFARO, L. TOUTAIN, Model-driven security policy deployment: property oriented approach. ESSoS'10 : International symposium on engineering secure software and systems , 03-04 february 2010, Pisa, Italy, 2010

• P. Konopacki, M. Frappier, R. Laleau. MODELISATION DE POLITIQUES DE SECURITE A L’AIDE D’UNE ALGEBRE DE PROCESSUS. RSTI - Ingénierie des Systèmes d'Information (ISI). Volume 15 (3), Hermes-Lavoisier 2010. Numéro spécial INFORSID'09/ISI.

• Projet ANR SELKIS : Poster présenté aux journéees du GDR GPL, Pau, mars 2010