Peng Liu, Sjouke Mauw, Ketil Stolen Graphical Models for Security - Springer Springer 2018 ISBN: 9783319748603 Source: EBOOK