Graphical Models for Security: 6th International Workshop, Gramsec 2019, Hoboken, Nj, Usa, June 24, 2019, Revised Papers (Paperback, 2019)