GraMSec 2016

The Third International Workshop on Graphical Models for Security

Lisbon, Portugal - June 27, 2016

REGULAR PAPERS

Maxime Audinot and Sophie Pinchinat.
On the Soundness of Attack Trees

Xinshu Dong, Sumeet Jauhar, William G. Temple, Binbin Chen, Zbigniew Kalbarczyk, William H. Sanders, Nils Ole Tippenhauer and David M. Nicol.
The Right Tool for the Job: a Case for Common Input Scenarios for Security Assessment