Graphical Models for Security: 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers (Lecture Notes in Computer Science (11720), Band 11720)