Cette page permet de gérer les contenus publiés relativement au projet
Articles de l'année 2009
• A. Idani, Y. Ledru and P.-Y. Schobbens. Approche formelle pour une Ingénierie des modèles sûre. In workshop LMO/SafeModels, Mars 2009.
• W. PAN, G. COATRIEUX, J. MONTAGNER, N. CUPPENS-BOULAHIA, F. CUPPENS, C. ROUX, Comparison of some reversible watermarking methods in application to medical images, 31st IEEE International Conference of the Engineering in Medicine and Biology Society, 02-06 september 2009, Mineapolis, United States, 2009
• PAN Wei, COATRIEUX Gouenou, CUPPENS-BOULAHIA Nora, ROUX Christian, CUPPENS Frédéric, Medical image integrity control combining digital signature and lossless watermarking. Springer, Lecture notes in computer science, 2009, vol.5939, pp. 153-162
| Fichier attaché | Taille |
|---|---|
| safemodel09_vasco.pdf | 233.01 Ko |
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
• Jérémy Milhau, Akram Idani, Regine Laleau, Mohamed Amine Labiadh, Yves Ledru and Marc Frappier. "Combining UML, ASTD and B for the Formal Specification of an Access Control Filter", Innovations in Systems and Software Engineering, Springer, online available: http://www.springerlink.com/content/f9wu85p14361p76l/, pages 1-11, octobre 2011.
• Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau and Richard St-Denis. "Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments" International Journal of Systems and Service-Oriented Engineering, IJSSOE 2(2): 37-59, 2011
• M. Embe Jiague, M. Frappier, F. Gervais, P. Konopacki, R. Laleau, J. Milhau, R. St-Denis: A four-concern-oriented secure IS development approach. In 8th International Joint Conference on e-Business and Telecommunications (ICETE 2011), Seville, Spain, 18-21 July. INSTICC Press, volume SECRYPT 2011, pp. 464-471, 2011.
• Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier and Mohamed-Amine Labiadh. "Taking into Account Functional Models in the Validation of IS Security Policies". 1st International Workshop on Information Systems Security Engineering, WISSE’11@CAISE'2011, London, UK, June 2011, LNBIP volume 83, Springer, pages 592-606.
• M. E. Jiague, M. Frappier, F. Gervais, R. Laleau, R. St-Denis "A Metamodel of an Access-Control Policy Enforcement Manager", 4th Canada-France MITACS Workshop on Foundations & Practice of Security, May 2011, Paris, France, Springer-Verlag, LNCS 6888, à paraitre
• J. Milhau, R. Laleau, M. Frappier "A Metamodel for Static and Dynamic Access Control Policies", 4th Canada-France MITACS Workshop on Foundations & Practice of Security, May 2011, Paris, France, Springer-Verlag, LNCS 6888, à paraitre
• Michel Embe Jiague, Marc Frappier, Frederic Gervais, Regine Laleau, and Richard St-Denis "From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment", WISS 2011, LNCS 6724, Springer-Verlag Berlin Heidelberg, pp. 126-141, 2011.
• Nadira Lammari, Jean-Sylvain Bucumi, Jacky Akoka, Isabelle Comyn-Wattiau (2011) : A Conceptual Meta-Model for Secured Information Systems., Proceeding of the Workshop on Software Engineering for Secure Systems (SESS'11) in conjunction with the 33rd International Conference on Software Engineering (ICSE 2011), Waikiki, Honolulu, Hawaii, 22 May 2011.
• Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier: Refinement patterns for ASTD. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)
| Fichier attaché | Taille |
|---|---|
| Formulaire CR-18Mois-SELKIS.pdf | 228.93 Ko |
| Fichier attaché | Taille |
|---|---|
| Formulaire-CR-T0+30-SELKIS.pdf | 291.45 Ko |
| Fichier attaché | Taille |
|---|---|
| ARPEGE 2008 - SELKIS-Compte-rendu T0+6.pdf | 222.88 Ko |
| Fichier attaché | Taille |
|---|---|
| livrable_5-1bis.pdf | 1.21 Mo |
| Livrable_6-1-2.pdf | 592.99 Ko |
| Fichier attaché | Taille |
|---|---|
| Livrable1.2.pdf | 1.62 Mo |
| livrable2.3bis.pdf | 461.6 Ko |
| Livrable_3.3.pdf | 1.12 Mo |
| Livrable_3.3bis.pdf | 1.43 Mo |
| Livrable5.3.pdf | 3.65 Mo |
| Livrable_6.1.3.pdf | 302.96 Ko |
Liste des 4 livrables du projet à T0+12.
| Fichier attaché | Taille |
|---|---|
| Livrable6_1_1v1opt.pdf | 1.94 Mo |
| Livrable4.1.pdf | 1.8 Mo |
| Rapport-Livrable-612.pdf | 3.86 Mo |
| livrable2.1.pdf | 18.1 Mo |
Liste des 2 livrables du projet à T0+18.
| Fichier attaché | Taille |
|---|---|
| SelkisLivrable3-1.pdf | 1.39 Mo |
| SelkisLivrable1-1.pdf | 2.05 Mo |
Liste des 4 livrables du projet à T0+24.
| Fichier attaché | Taille |
|---|---|
| livrable-4.2.pdf | 736.35 Ko |
| livrable2.2.pdf | 681.75 Ko |
| Livrable_3_2.pdf | 1.78 Mo |
| livrable5-1.pdf | 1.36 Mo |