Accéder directement au contenu Accéder directement à la navigation
Nouvelle interface


hal-01289203v1  Proceedings/Recueil des communications
Barbara KordySjouke MauwSushil Jajodia. Graphical Models for Security
Sjouke Mauw ; Barbara Kordy; Sushil Jajodia. Graphical Models for Security, Jul 2015, Verona, Italy. LNCS (9390), Springer, 2016, Graphical Models for Security, 978-3-319-29967-9. ⟨10.1007/978-3-319-29968-6⟩
hal-01365806v1  Proceedings/Recueil des communications
Barbara KordyEkstedt MathiasKim Dong Seong. Graphical Models for Security
Barbara Kordy; Mathias Ekstedt; Dong Seong Kim. Third International Workshop on Graphical Models for Security, LIsbon, Portugal. LNCS (9987), Springer International Publishing, 2016, Graphical Models for Security, 978-3-319-46262-2. ⟨10.1007/978-3-319-46263-9⟩
...
hal-01197256v1  Communication dans un congrès
Barbara KordyRavi JhawarSjouke MauwSasa RadomirovicRoland Trujillo-Rasua. Attack Trees with Sequential Conjunction
30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.339-353, ⟨10.1007/978-3-319-18467-8_23⟩