Posts Categorized: Publications

IEEE Transactions on Computers

Posted May 2015 by & filed under Publications.

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

MODELSWARD 2015

Posted March 2015 by & filed under Publications.

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

Links: Article

The CockpitCI approach

Posted July 2014 by & filed under Publications.

Improving cyber-security awareness on Industrial Control Systems,
T. Cruz, J. Proença, P. Simões, M. Aubigny, M. Ouedraogo, A. Graziano and L. Yasakhetu,
3-4 July 2014, at Piraeus, Greece
In proceeding of: 13th European Conference on Information Warfare and Security ECCWS 2014
Links: Article