000 03358nam a22005895i 4500
001 978-3-319-46263-9
003 DE-He213
005 20200420221256.0
007 cr nn 008mamaa
008 160907s2016 gw | s |||| 0|eng d
020 _a9783319462639
_9978-3-319-46263-9
024 7 _a10.1007/978-3-319-46263-9
_2doi
050 4 _aQA76.9.A25
072 7 _aUR
_2bicssc
072 7 _aUTN
_2bicssc
072 7 _aCOM053000
_2bisacsh
082 0 4 _a005.8
_223
245 1 0 _aGraphical Models for Security
_h[electronic resource] :
_bThird International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /
_cedited by Barbara Kordy, Mathias Ekstedt, Dong Seong Kim.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2016.
300 _aIX, 167 p. 62 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9987
505 0 _aA 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. .
520 _aThis 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. .
650 0 _aComputer science.
650 0 _aComputer communication systems.
650 0 _aSoftware engineering.
650 0 _aComputer security.
650 0 _aAlgorithms.
650 0 _aComputer science
_xMathematics.
650 1 4 _aComputer Science.
650 2 4 _aSystems and Data Security.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aComputer Communication Networks.
650 2 4 _aSoftware Engineering.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
700 1 _aKordy, Barbara.
_eeditor.
700 1 _aEkstedt, Mathias.
_eeditor.
700 1 _aKim, Dong Seong.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319462622
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9987
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-46263-9
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c52915
_d52915