000 | 03689nam a22006615i 4500 | ||
---|---|---|---|
001 | 978-3-319-29968-6 | ||
003 | DE-He213 | ||
005 | 20240730170042.0 | ||
007 | cr nn 008mamaa | ||
008 | 160205s2016 sz | s |||| 0|eng d | ||
020 |
_a9783319299686 _9978-3-319-29968-6 |
||
024 | 7 |
_a10.1007/978-3-319-29968-6 _2doi |
|
050 | 4 | _aQA76.9.A25 | |
072 | 7 |
_aUR _2bicssc |
|
072 | 7 |
_aUTN _2bicssc |
|
072 | 7 |
_aCOM053000 _2bisacsh |
|
072 | 7 |
_aUR _2thema |
|
072 | 7 |
_aUTN _2thema |
|
082 | 0 | 4 |
_a005.8 _223 |
245 | 1 | 0 |
_aGraphical Models for Security _h[electronic resource] : _bSecond International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers / _cedited by Sjouke Mauw, Barbara Kordy, Sushil Jajodia. |
250 | _a1st ed. 2016. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016. |
|
300 |
_aIX, 103 p. 44 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aSecurity and Cryptology, _x2946-1863 ; _v9390 |
|
505 | 0 | _aIntegrated Visualization of Network Security Metadata from Heterogeneous Data Sources -- SysML-Sec Attack Graphs: Compact Representations for Complex Attacks -- Guided Specification and Analysis of a Loyalty Card System -- How to Generate Security Cameras: Towards Defence Generation for Sociotechnical Systems -- Transforming Graphical System Models to Graphical Attack Models -- ATSyRa: An Integrated Environment for Synthesizing Attack Trees. . | |
520 | _aThis volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015. The 5 revised full papers presented together with one short tool paper and one invited lecture were carefully reviewed and selected from 13 submissions. The workshop contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage, thus providing an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures. | ||
650 | 0 |
_aData protection. _97245 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aAlgorithms. _93390 |
|
650 | 0 |
_aApplication software. _991819 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 1 | 4 |
_aData and Information Security. _931990 |
650 | 2 | 4 |
_aComputer Communication Networks. _991820 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aAlgorithms. _93390 |
650 | 2 | 4 |
_aComputer and Information Systems Applications. _991821 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
700 | 1 |
_aMauw, Sjouke. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _991822 |
|
700 | 1 |
_aKordy, Barbara. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _991823 |
|
700 | 1 |
_aJajodia, Sushil. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _991824 |
|
710 | 2 |
_aSpringerLink (Online service) _991825 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319299679 |
776 | 0 | 8 |
_iPrinted edition: _z9783319299693 |
830 | 0 |
_aSecurity and Cryptology, _x2946-1863 ; _v9390 _991826 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-29968-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c86706 _d86706 |