The Springer's post-proceedings of GraMSec 2018 can be accessed here: Graphical Models for Security (GraMSec 2018).