Pierre Konopacki

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Access Control Policies

Top Venues

University of Paris-Est, France (PHD)

Education History

University of Paris-Est, France

PHD

Publications

Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier
A Design by Contract Approach to Verify Access Control Policies. ICECCS (2012)
Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau
Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. FPS (2011)
Pierre Konopacki, Marc Frappier, Régine Laleau
Expressing Access Control Policies with an Event-Based Approach. CAiSE Workshops (2011)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
A Four-concern-oriented Secure IS Development Approach. SECRYPT (2011)
Pierre Konopacki, Marc Frappier, Régine Laleau
SEC. Ingénierie des Systèmes d Inf. 15 (3) (2010)
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 (3) (2010)
Pierre Konopacki, Marc Frappier, Régine Laleau
Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. INFORSID (2009)