Articles catégorisés: Publications

IEEE Transactions on Computers

Écrit May 2015 par & déposé dans Publications.

“Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets”
Dianxiang Xu, Michael Kent, Lijo Thomas, Tejeddine Mouelhi, et Yves Le Traon
IEEE Transactions on Computers PrePrint, no. 1, pp. 1, doi:10.1109/TC.2014.2375189
Liens : Article

MODELSWARD 2015

Écrit March 2015 par & déposé dans Publications.

A Toolchain for Model-Based Design and Testing of Access Control Systems,
Said Daoudagh, Donia El Kateb, Francesca Lonetti, Eda Marchetti et Tejeddine Mouelhi,
9-11 Février 2015, 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), Angers, France

Links: Article

L’approche CockpitCI

Écrit July 2014 par & déposé dans Publications.

Improving cyber-security awareness on Industrial Control Systems
T. Cruz, J. Proença, P. Simões, M. Aubigny, M. Ouedraogo, A. Graziano et L. Yasakhetu,
3-4 Juillet 2014, à Pirée, Grèce
En procédant de : 13th European Conference on Information Warfare and Security ECCWS 2014
Liens : Article