TY - BOOK AU - Kordy,Barbara AU - Ekstedt,Mathias AU - Kim,Dong Seong ED - SpringerLink (Online service) TI - Graphical Models for Security: Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers T2 - Security and Cryptology SN - 9783319462639 AV - QA76.9.A25 U1 - 005.8 23 PY - 2016/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Computer security KW - Computer science—Mathematics KW - Computer communication systems KW - Software engineering KW - Algorithms KW - Systems and Data Security KW - Discrete Mathematics in Computer Science KW - Computer Communication Networks KW - Software Engineering KW - Algorithm Analysis and Problem Complexity N1 - A Bottom-up Approach to Applying Graphical Models in Security Analysis -- On the Soundness of Attack Trees -- The Right Tool for the Job: a Case for Common Input Scenarios for Security Assessment -- Differential Privacy Analysis of Data Processing Workflows -- Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees -- Enterprise Architecture-Based Risk and Security Modelling and Analysis -- From A to Z: Developing a Visual Vocabulary for Information Security Threat Visualisation -- Quantitative Attack Tree Analysis: Stochastic Bounds and Numerical Analysis -- Survivability Analysis of a Computer System under an Advanced Persistent Threat Attack -- Confining Adversary Actions via Measurement. N2 - This book constitutes the refereed proceedings from the Third International Workshop on Graphical Models for Security, GraMSec 2016, held in Lisbon, Portugal, in June 2016. The 9 papers presented in this volume were carefully reviewed and selected from 23 submissions. The volume also contains the invited talk by Xinming Ou. GraMSec contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage. UR - https://doi.org/10.1007/978-3-319-46263-9 ER -