國立虎尾科技大學 |

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Graphical Models for Security/ edited by Harley Eades III, Olga Gadyatskaya.
Reminder of title:	7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers /
other author:	Eades III, Harley.
Description:	XII, 199 p. 187 illus., 56 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer security. -
Online resource:	https://doi.org/10.1007/978-3-030-62230-5
ISBN:	9783030622305

Graphical Models for Security = 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers /
Graphical Models for Security7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers /[electronic resource] :edited by Harley Eades III, Olga Gadyatskaya. - 1st ed. 2020. - XII, 199 p. 187 illus., 56 illus. in color.online resource. - Security and Cryptology ;12419. - Security and Cryptology ;9241.

Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks -- Library-based Attack Tree Synthesis -- Asset-Centric Analysis and Visualisation of Attack Trees -- An attack simulation language for the IT domain -- Representing decision-makers in SGAM-H: The Smart Grid Architecture Model Extended with the Human Layer -- Breaking the cyber kill chain by modelling resource costs -- GroDDViewer: Dynamic Dual View of Android Malware -- Attack-Defence Frameworks: Argumentation-based Semantics for Attack-Defence Trees -- A diagrammatic approach to information flow in encrypted communication -- Contextualisation of Data Flow Diagrams for security analysis.

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. .

ISBN: 9783030622305

Standard No.: 10.1007/978-3-030-62230-5doiSubjects--Topical Terms:

557122
Computer security.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

Graphical Models for Security = 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers /
LDR:02719nam a22004215i 4500 001 1023440
003 DE-He213
005 20201107191544.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030622305 $9 978-3-030-62230-5
024 7 $a 10.1007/978-3-030-62230-5 $2 doi
035 $a 978-3-030-62230-5
050 4 $a QA76.9.A25
072 7 $a UR $2 bicssc
072 7 $a COM053000 $2 bisacsh
072 7 $a UR $2 thema
072 7 $a UTN $2 thema
082 0 4 $a 005.8 $2 23
245 1 0 $a Graphical Models for Security $h [electronic resource] : $b 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers / $c edited by Harley Eades III, Olga Gadyatskaya.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XII, 199 p. 187 illus., 56 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Security and Cryptology ; $v 12419
505 0 $a Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks -- Library-based Attack Tree Synthesis -- Asset-Centric Analysis and Visualisation of Attack Trees -- An attack simulation language for the IT domain -- Representing decision-makers in SGAM-H: The Smart Grid Architecture Model Extended with the Human Layer -- Breaking the cyber kill chain by modelling resource costs -- GroDDViewer: Dynamic Dual View of Android Malware -- Attack-Defence Frameworks: Argumentation-based Semantics for Attack-Defence Trees -- A diagrammatic approach to information flow in encrypted communication -- Contextualisation of Data Flow Diagrams for security analysis.
520 $a 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. .
650 0 $a Computer security. $3 557122
650 0 $a Computers. $3 565115
650 0 $a Law and legislation. $3 1069250
650 0 $a Data encryption (Computer science). $3 1051084
650 0 $a Computer crimes. $3 564161
650 0 $a Application software. $3 528147
650 1 4 $a Systems and Data Security. $3 677062
650 2 4 $a Legal Aspects of Computing. $3 669901
650 2 4 $a Cryptology. $3 1211076
650 2 4 $a Computer Crime. $3 1226852
650 2 4 $a Information Systems Applications (incl. Internet). $3 881699
700 1 $a Eades III, Harley. $e editor. $1 https://orcid.org/0000-0001-8474-5971 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319370
700 1 $a Gadyatskaya, Olga. $e editor. $1 https://orcid.org/0000-0002-3760-9165 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319371
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030622299
776 0 8 $i Printed edition: $z 9783030622312
830 0 $a Security and Cryptology ; $v 9241 $3 1254069
856 4 0 $u https://doi.org/10.1007/978-3-030-62230-5
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)