Graphical Models for Security 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers Eades III, Harley Heftet / 2020 / Engelsk
