Pierre Konopacki

According to our database, Pierre Konopacki authored at least 8 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

PhD thesis, 2012

A Design by Contract Approach to Verify Access Control Policies.

Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

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

Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011

Specification and Verification of Access Control Policies in EB3SEC: Work in Progress.

Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau

Proceedings of the Foundations and Practice of Security, 2011

Expressing Access Control Policies with an Event-Based Approach.

Pierre Konopacki, Marc Frappier, Régine Laleau

Proceedings of the Advanced Information Systems Engineering Workshops, 2011

2010

Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB³SEC.

Pierre Konopacki, Marc Frappier, Régine Laleau

Ingénierie des Systèmes d Inf., 2010

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

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

2009

Modélisation de politiques de sécurité à l'aide d'une algèbre de processus.

Pierre Konopacki, Marc Frappier, Régine Laleau

Proceedings of the Actes du XXVIIème Congrès INFORSID, Toulouse, France, 26-29 mai 2009, 2009