☰

Pierre Konopacki, Ph.D. - Publications

Affiliations: 
2012 Université de Sherbrooke, Sherbrooke, Québec, Canada 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

7 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2012 Ferrier-Belhaouari H, Konopacki P, Laleau R, Frappier M. A design by contract approach to verify access control policies Proceedings - 2012 Ieee 17th International Conference On Engineering of Complex Computer Systems, Iceccs 2012. 263-272. DOI: 10.1109/ICECCS.2012.4  0.697
2012 Konopacki P, Belhaouari H, Frappier M, Laleau R. Specification and verification of access control policies in EB 3SEC: Work in progress Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6888: 227-233. DOI: 10.1007/978-3-642-27901-0_18  0.712
2011 Konopacki P, Frappier M, Laleau R. Expressing access control policies with an event-based approach Lecture Notes in Business Information Processing. 83: 607-621. DOI: 10.1007/978-3-642-22056-2_63  0.737
2011 Jiague ME, Frappier M, Gervais F, Konopacki P, Laleau R, Milhau J, St-Denis R. A four-concern-oriented secure is development approach Secrypt 2011 - Proceedings of the International Conference On Security and Cryptography. 464-471.  0.629
2010 Konopacki P, Frappier M, Laleau R. Modélisation de politiques de sécurité à l'aide d'une algèbre de processus: Présentation de la méthode EB3SEC IngéNierie Des SystèMes D'Information. 15: 113-136. DOI: 10.3166/Isi.15.3.113-136  0.713
2010 Jiague ME, Frappier M, Gervais F, Konopacki P, Laleau R, Milhau J, St-Denis R. Model-driven engineering of functional security policies Iceis 2010 - Proceedings of the 12th International Conference On Enterprise Information Systems. 3: 374-379.  0.627
2009 Konopacki P, Frappier M, Laleau R. Security policy modeling using the process algebra Xxviieme Congres Inforsid 2009. 295-310.  0.746
Show low-probability matches.