@proceedings{DBLP:conf/csfw/2017gramsec, editor = {Peng Liu and Sjouke Mauw and Ketil St{\o}len}, title = {Graphical Models for Security - 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10744}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-74860-3}, doi = {10.1007/978-3-319-74860-3}, isbn = {978-3-319-74859-7}, timestamp = {Fri, 23 Feb 2018 12:54:19 +0100}, biburl = {https://dblp.org/rec/bib/conf/csfw/2017gramsec}, bibsource = {dblp computer science bibliography, https://dblp.org} }