000753835 000__ 03218cam\a2200517Ii\4500
000753835 001__ 753835
000753835 005__ 20230306141522.0
000753835 006__ m\\\\\o\\d\\\\\\\\
000753835 007__ cr\cn\nnnunnun
000753835 008__ 160216s2016\\\\sz\a\\\\o\\\\\101\0\eng\d
000753835 020__ $$a9783319299686$$q(electronic book)
000753835 020__ $$a3319299689$$q(electronic book)
000753835 020__ $$z9783319299679
000753835 0247_ $$a10.1007/978-3-319-29968-6$$2doi
000753835 035__ $$aSP(OCoLC)ocn939516114
000753835 035__ $$aSP(OCoLC)939516114
000753835 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dAZU
000753835 049__ $$aISEA
000753835 050_4 $$aQA76.9.A25
000753835 08204 $$a005.8$$223
000753835 1112_ $$aInternational Workshop on Graphical Models for Security$$n(2nd :$$d2015 :$$cVerona, Italy)
000753835 24510 $$aGraphical models for security$$h[electronic resource] :$$bsecond International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers /$$cSjouke Mauw, Barbara Kordy, Sushil Jajodia (eds.).
000753835 2463_ $$aGraMSec 2015
000753835 264_1 $$aCham :$$bSpringer,$$c2016.
000753835 300__ $$a1 online resource (ix, 103 pages) :$$bcolor illustrations.
000753835 336__ $$atext$$btxt$$2rdacontent
000753835 337__ $$acomputer$$bc$$2rdamedia
000753835 338__ $$aonline resource$$bcr$$2rdacarrier
000753835 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9390
000753835 4901_ $$aLNCS sublibrary. SL 4, Security and cryptology
000753835 500__ $$aIncludes author index.
000753835 5050_ $$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. .
000753835 506__ $$aAccess limited to authorized users.
000753835 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.
000753835 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed February 16, 2016).
000753835 650_0 $$aComputer security$$xGraphic methods$$vCongresses.
000753835 650_0 $$aComputer networks$$xSecurity measures$$vCongreses.
000753835 7001_ $$aMauw, S.,$$eeditor.
000753835 7001_ $$aKordy, Barbara,$$eeditor.
000753835 7001_ $$aJajodia, Sushil,$$eeditor.
000753835 830_0 $$aLecture notes in computer science ;$$v9390.
000753835 830_0 $$aLNCS sublibrary.$$nSL 4,$$pSecurity and cryptology.
000753835 852__ $$bebk
000753835 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-29968-6$$zOnline Access$$91397441.1
000753835 909CO $$ooai:library.usi.edu:753835$$pGLOBAL_SET
000753835 980__ $$aEBOOK
000753835 980__ $$aBIB
000753835 982__ $$aEbook
000753835 983__ $$aOnline
000753835 994__ $$a92$$bISE