04243nam 22007695 450 991034946050332120200702154855.03-319-74860-210.1007/978-3-319-74860-3(CKB)4100000002485473(DE-He213)978-3-319-74860-3(MiAaPQ)EBC6285481(MiAaPQ)EBC5592004(Au-PeEL)EBL5592004(OCoLC)1025327858(PPN)22463772X(EXLCZ)99410000000248547320180220d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierGraphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers /edited by Peng Liu, Sjouke Mauw, Ketil Stolen1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XI, 147 p. 48 illus.) Security and Cryptology ;107443-319-74859-9 Graphical modeling of Security Arguments: Current State and Future Directions -- Evil Twins: Handling Repetitions in Attack - Defense Trees - A Survival Guide -- Visualizing Cyber Security Risks with Bow-Tie Diagrams -- CSIRA: A method for analysing the risk of cybersecurity incidents -- Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata -- Probabilistic Modeling of Insider Threat Detection Systems -- Security Modeling for Embedded System Design -- Circle of Health Based Access Control for Personal Health Information Systems -- New Directions in Attack Tree Research: Catching up with Industrial Needs -- Employing Graphical Risk Models to Facilitate Cyber-Risk Monitoring - the WISER Approach.This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017.  The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest research and developments on graphical models for security.Security and Cryptology ;10744Computer securityComputer programmingSoftware engineeringArtificial intelligenceComputersComputer organizationSystems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computing Milieuxhttps://scigraph.springernature.com/ontologies/product-market-codes/I24008Computer Systems Organization and Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13006Computer security.Computer programming.Software engineering.Artificial intelligence.Computers.Computer organization.Systems and Data Security.Programming Techniques.Software Engineering.Artificial Intelligence.Computing Milieux.Computer Systems Organization and Communication Networks.005.8Liu Pengedthttp://id.loc.gov/vocabulary/relators/edtMauw Sjoukeedthttp://id.loc.gov/vocabulary/relators/edtStolen Ketiledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349460503321Graphical Models for Security2278484UNINA