Publications

Export 3 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Title is P and Author is B. Kordy  [Clear All Filters]
Journal Article
Kordy B., Pouly M., Schweitzer P..  2016.  Probabilistic reasoning with graphical security models. Information sciences. 342:111–131.
Conference Proceedings
Kordy B., Mauw S., Pieters W..  2014.  Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, 12th April, 2014. EPTCS. 148
Conference Paper
Kordy B., Pouly M., Schweizer P..  2014.  A Probabilistic Framework for Security Scenarios with Dependent Actions. 11th International Conference on Integrated Formal Methods, IFM 2014, Bertinoro, Italy. 8739:256–271.