Graphical Models for Security [[electronic resource] ] : Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers / / edited by Barbara Kordy, Mathias Ekstedt, Dong Seong Kim
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Graphical Models for Security [[electronic resource] ] : Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers / / edited by Barbara Kordy, Mathias Ekstedt, Dong Seong Kim
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Edizione: | 1st ed. 2016. |
| Descrizione fisica: | 1 online resource (IX, 167 p. 62 illus.) |
| Disciplina: | 005.8 |
| Soggetto topico: | Computer security |
| Computer science—Mathematics | |
| Computer communication systems | |
| Software engineering | |
| Algorithms | |
| Systems and Data Security | |
| Discrete Mathematics in Computer Science | |
| Computer Communication Networks | |
| Software Engineering | |
| Algorithm Analysis and Problem Complexity | |
| Persona (resp. second.): | KordyBarbara |
| EkstedtMathias | |
| KimDong Seong | |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. . |
| Sommario/riassunto: | 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. . |
| Titolo autorizzato: | Graphical Models for Security |
| ISBN: | 3-319-46263-6 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466243803316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Security and Cryptology ; ; 9987