Articles catégorisés: Publications

GraMSec 2016

Écrit June 2016 par & déposé dans Actualités, Publications.

Gadyatskaya O., Harpes C., Mauw S., Muller C., Muller S.
(2016) Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees.
In: Kordy B., Ekstedt M., Kim D. (eds) Graphical Models for Security.
GraMSec 2016. Lecture Notes in Computer Science, vol 9987. Springer, Cham.

ADaCoR Workshop 2016

Écrit April 2016 par & déposé dans Publications.

Steve Muller, ‘Risk monitoring in industrial control systems’, in Advanced Data Collection and Risks (ADaCoR) Workshop 2016, 2016.

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