國立高雄大學圖資館 |

Language: English

Back

Graphical models for security7th Int...

(1998 :)

Graphical models for security7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020 : revised selected papers /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Graphical models for securityedited by Harley Eades III, Olga Gadyatskaya.
Reminder of title:	7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020 : revised selected papers /
remainder title:	GraMSec 2020
other author:	Eades, Harley.
corporate name:
Published:	Cham :Springer International Publishing :2020.
Description:	xii, 199 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer securityCongresses.Graphic methods
Online resource:	https://doi.org/10.1007/978-3-030-62230-5
ISBN:	9783030622305$q(electronic bk.)

Graphical models for security7th 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] :GraMSec 2020edited by Harley Eades III, Olga Gadyatskaya. - Cham :Springer International Publishing :2020. - xii, 199 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,124190302-9743 ;. - Lecture notes in computer science ;4891..

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$q(electronic bk.)

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

740642
Computer security
--Graphic methods--Congresses.

LC Class. No.: QA76.9.A25 / G73 2020

Dewey Class. No.: 005.8

Graphical models for security7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020 : revised selected papers /
LDR:02475nmm a2200373 a 4500 001 589401
003 DE-He213
005 20201107191544.0
006 m d
007 cr nn 008maaau
008 210601s2020 sz s 0 eng d
020 $a 9783030622305$q(electronic bk.)
020 $a 9783030622299$q(paper)
024 7 $a 10.1007/978-3-030-62230-5 $2 doi
035 $a 978-3-030-62230-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25 $b G73 2020
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
090 $a QA76.9.A25 $b G747 2020
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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.
246 3 $a GraMSec 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xii, 199 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12419
490 1 $a Security and cryptology
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 $x Graphic methods $v Congresses. $3 740642
650 0 $a Computer networks $x Security measures $v Congresses. $3 384553
650 0 $a Data encryption (Computer science) $3 184520
650 1 4 $a Systems and Data Security. $3 274481
650 2 4 $a Legal Aspects of Computing. $3 276398
650 2 4 $a Cryptology. $3 825728
650 2 4 $a Computer Crime. $3 833604
650 2 4 $a Information Systems Applications (incl. Internet) $3 530743
700 1 $a Eades, Harley. $3 881245
700 1 $a Gadyatskaya, Olga. $3 881246
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Security and cryptology. $3 822028
856 4 0 $u https://doi.org/10.1007/978-3-030-62230-5
950 $a Computer Science (SpringerNature-11645)