Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. - Pierre Konopacki; Marc Frappier; Régine Laleau (INFORSID, 2009)

Model-driven Engineering of Functional Security Policies. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Pierre Konopacki; Régine Laleau; Jérémy Milhau; Richard St-Denis (ICEIS (3), 2010)

Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB3SEC. - Pierre Konopacki; Marc Frappier; Régine Laleau (Ingénierie des Systèmes d Inf., 2010)

Expressing Access Control Policies with an Event-Based Approach. - Pierre Konopacki; Marc Frappier; Régine Laleau (CAiSE Workshops, 2011)

Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. - Pierre Konopacki; Hakim Belhaouari; Marc Frappier; Régine Laleau (FPS, 2011)

A Four-concern-oriented Secure IS Development Approach. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Pierre Konopacki; Régine Laleau; Jérémy Milhau; Richard St-Denis (SECRYPT, 2011)

A Design by Contract Approach to Verify Access Control Policies. - Hakim Ferrier-Belhaouari; Pierre Konopacki; Régine Laleau; Marc Frappier (ICECCS, 2012)

Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles. (Security policies modeling by using formal methods). - Pierre Konopacki (2012)