Graphical Models for Security: 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers

Graphical Models for Security: 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers

This book constitutes the proceedings of the 7th International Workshop on Graphical Models for Security, GramSec 2020, which took place on June 22, 2020. The workshop was planned to take place in Boston, MA, USA but changed to a virtual format due to the COVID-19 pandemic. The 7 full and 3 short pa...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Eades III, Harley, Gadyatskaya, Olga
Format: Buch
Sprache:eng
Schlagworte:
Computer programming, programs, data
Data encryption (Computer science)-Congresses
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume 12419
creator Eades III, Harley
Gadyatskaya, Olga
description This book constitutes the proceedings of the 7th International Workshop on Graphical Models for Security, GramSec 2020, which took place on June 22, 2020. The workshop was planned to take place in Boston, MA, USA but changed to a virtual format due to the COVID-19 pandemic. The 7 full and 3 short papers presented in this volume were carefully reviewed and selected from 14 submissions. The papers were organized in topical sections named: attack trees; attacks and risks modelling and visualization; and models for reasoning about security. 
format Book
fullrecord <record><control><sourceid>proquest_askew</sourceid><recordid>TN_cdi_askewsholts_vlebooks_9783030622305</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC6386355</sourcerecordid><originalsourceid>FETCH-LOGICAL-a14826-e1fd1def07c59464380fa054f2bce44e66eb8328ce6d0c44cf062c1ce7865a6b3</originalsourceid><addsrcrecordid>eNpNz81Kw0AUBeARUbS1jyAEN-IicOc3M0stbRUqLhS3YTK5Y2PHTM2kim9va0RcHQ58XO45ICMOHBRjHMTh_3JMRpSB4kaB4SdkktIrADDBOKXylJwvOrtZNc6G7D7WGFLmY5c9ott2Tf91Ro68DQknvzkmz_PZ0_Q2Xz4s7qbXy9xSoZnKkfqa1uihcNIIJbgGb0EKzyqHQqBSWGnOtENVgxPC-d13jjostJJWVXxMrobDNq3xM61i6FP5EbCKcZ1KU-i_QXJnLwe76eL7FlNf_jCHbd_ZUM5upoprxeVeXgzS2WRD0zblW2zjy35xKqWgxgjDvwGa2Fda</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC6386355</pqid></control><display><type>book</type><title>Graphical Models for Security: 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers</title><source>Springer Books</source><creator>Eades III, Harley ; Gadyatskaya, Olga</creator><contributor>Gadyatskaya, Olga ; Eades III, Harley</contributor><creatorcontrib>Eades III, Harley ; Gadyatskaya, Olga ; Gadyatskaya, Olga ; Eades III, Harley</creatorcontrib><description>This book constitutes the proceedings of the 7th International Workshop on Graphical Models for Security, GramSec 2020, which took place on June 22, 2020. The workshop was planned to take place in Boston, MA, USA but changed to a virtual format due to the COVID-19 pandemic. The 7 full and 3 short papers presented in this volume were carefully reviewed and selected from 14 submissions. The papers were organized in topical sections named: attack trees; attacks and risks modelling and visualization; and models for reasoning about security. </description><edition>1st Edition 2020</edition><identifier>ISBN: 3030622304</identifier><identifier>ISBN: 9783030622305</identifier><identifier>ISBN: 9783030622299</identifier><identifier>ISBN: 3030622290</identifier><identifier>EISBN: 3030622304</identifier><identifier>EISBN: 9783030622305</identifier><identifier>OCLC: 1206396093</identifier><language>eng</language><publisher>Netherlands: Springer Nature</publisher><subject>Computer programming, programs, data ; Data encryption (Computer science)-Congresses</subject><creationdate>2020</creationdate><tpages>205</tpages><format>205</format><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>306,776,780,782</link.rule.ids></links><search><contributor>Gadyatskaya, Olga</contributor><contributor>Eades III, Harley</contributor><creatorcontrib>Eades III, Harley</creatorcontrib><creatorcontrib>Gadyatskaya, Olga</creatorcontrib><title>Graphical Models for Security: 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers</title><description>This book constitutes the proceedings of the 7th International Workshop on Graphical Models for Security, GramSec 2020, which took place on June 22, 2020. The workshop was planned to take place in Boston, MA, USA but changed to a virtual format due to the COVID-19 pandemic. The 7 full and 3 short papers presented in this volume were carefully reviewed and selected from 14 submissions. The papers were organized in topical sections named: attack trees; attacks and risks modelling and visualization; and models for reasoning about security. </description><subject>Computer programming, programs, data</subject><subject>Data encryption (Computer science)-Congresses</subject><isbn>3030622304</isbn><isbn>9783030622305</isbn><isbn>9783030622299</isbn><isbn>3030622290</isbn><isbn>3030622304</isbn><isbn>9783030622305</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2020</creationdate><recordtype>book</recordtype><sourceid>I4C</sourceid><recordid>eNpNz81Kw0AUBeARUbS1jyAEN-IicOc3M0stbRUqLhS3YTK5Y2PHTM2kim9va0RcHQ58XO45ICMOHBRjHMTh_3JMRpSB4kaB4SdkktIrADDBOKXylJwvOrtZNc6G7D7WGFLmY5c9ott2Tf91Ro68DQknvzkmz_PZ0_Q2Xz4s7qbXy9xSoZnKkfqa1uihcNIIJbgGb0EKzyqHQqBSWGnOtENVgxPC-d13jjostJJWVXxMrobDNq3xM61i6FP5EbCKcZ1KU-i_QXJnLwe76eL7FlNf_jCHbd_ZUM5upoprxeVeXgzS2WRD0zblW2zjy35xKqWgxgjDvwGa2Fda</recordid><startdate>2020</startdate><enddate>2020</enddate><creator>Eades III, Harley</creator><creator>Gadyatskaya, Olga</creator><general>Springer Nature</general><general>Springer International Publishing AG</general><general>Springer International Publishing</general><scope>I4C</scope></search><sort><creationdate>2020</creationdate><title>Graphical Models for Security</title><author>Eades III, Harley ; Gadyatskaya, Olga</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a14826-e1fd1def07c59464380fa054f2bce44e66eb8328ce6d0c44cf062c1ce7865a6b3</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2020</creationdate><topic>Computer programming, programs, data</topic><topic>Data encryption (Computer science)-Congresses</topic><toplevel>online_resources</toplevel><creatorcontrib>Eades III, Harley</creatorcontrib><creatorcontrib>Gadyatskaya, Olga</creatorcontrib><collection>Casalini Torrossa eBook Single Purchase</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Eades III, Harley</au><au>Gadyatskaya, Olga</au><au>Gadyatskaya, Olga</au><au>Eades III, Harley</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Graphical Models for Security: 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2020</date><risdate>2020</risdate><volume>12419</volume><isbn>3030622304</isbn><isbn>9783030622305</isbn><isbn>9783030622299</isbn><isbn>3030622290</isbn><eisbn>3030622304</eisbn><eisbn>9783030622305</eisbn><abstract>This book constitutes the proceedings of the 7th International Workshop on Graphical Models for Security, GramSec 2020, which took place on June 22, 2020. The workshop was planned to take place in Boston, MA, USA but changed to a virtual format due to the COVID-19 pandemic. The 7 full and 3 short papers presented in this volume were carefully reviewed and selected from 14 submissions. The papers were organized in topical sections named: attack trees; attacks and risks modelling and visualization; and models for reasoning about security. </abstract><cop>Netherlands</cop><pub>Springer Nature</pub><oclcid>1206396093</oclcid><tpages>205</tpages><edition>1st Edition 2020</edition></addata></record>
fulltext fulltext
identifier ISBN: 3030622304
ispartof
issn
language eng
recordid cdi_askewsholts_vlebooks_9783030622305
source Springer Books
subjects Computer programming, programs, data
Data encryption (Computer science)-Congresses
title Graphical Models for Security: 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-05T15%3A16%3A18IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_askew&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Graphical%20Models%20for%20Security:%207th%20International%20Workshop,%20GraMSec%202020,%20Boston,%20MA,%20USA,%20June%2022,%202020,%20Revised%20Selected%20Papers&rft.au=Eades%20III,%20Harley&rft.date=2020&rft.volume=12419&rft.isbn=3030622304&rft.isbn_list=9783030622305&rft.isbn_list=9783030622299&rft.isbn_list=3030622290&rft_id=info:doi/&rft_dat=%3Cproquest_askew%3EEBC6386355%3C/proquest_askew%3E%3Curl%3E%3C/url%3E&rft.eisbn=3030622304&rft.eisbn_list=9783030622305&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC6386355&rft_id=info:pmid/&rfr_iscdi=true