Pierre Konopacki, Ph.D.
Affiliations: | 2012 | Université de Sherbrooke, Sherbrooke, Québec, Canada |
Area:
Computer ScienceGoogle:
"Pierre Konopacki"Parents
Sign in to add mentor| Marc Frappier | grad student | 2012 | Université de Sherbrooke | |
| (Une approche evenementielle pour la description de politiques de controle d'acces.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Ferrier-Belhaouari H, Konopacki P, Laleau R, et al. (2012) 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 |
| Konopacki P, Belhaouari H, Frappier M, et al. (2012) 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 |
| Konopacki P, Frappier M, Laleau R. (2011) Expressing access control policies with an event-based approach Lecture Notes in Business Information Processing. 83: 607-621 |
| Jiague ME, Frappier M, Gervais F, et al. (2011) A four-concern-oriented secure is development approach Secrypt 2011 - Proceedings of the International Conference On Security and Cryptography. 464-471 |
| Konopacki P, Frappier M, Laleau R. (2010) 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 |
| Jiague ME, Frappier M, Gervais F, et al. (2010) Model-driven engineering of functional security policies Iceis 2010 - Proceedings of the 12th International Conference On Enterprise Information Systems. 3: 374-379 |
| Konopacki P, Frappier M, Laleau R. (2009) Security policy modeling using the process algebra Xxviieme Congres Inforsid 2009. 295-310 |