東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Graphical models for security = 7th ...

GraMSec (Workshop) (2020 :)

Linked to FindBook

Google Book

Amazon

博客來

Graphical models for security = 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020 : revised selected papers /

Record Type:	Electronic resources : 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 /
remainder title:	GraMSec 2020
other author:	Eades, Harley.
corporate name:	GraMSec (Workshop)
Published:	Cham :Springer International Publishing : : 2020.,
Description:	xii, 199 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer Nature eBook
Subject:	Computer security - Congresses. - Graphic methods -
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] :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 ;12419..

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:

3135367
Computer security
--Graphic methods--Congresses.

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

Dewey Class. No.: 005.8

Graphical models for security = 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020 : revised selected papers /
LDR:02475nmm a2200373 a 4500 001 2256917
003 DE-He213
005 20201107191544.0
006 m d
007 cr nn 008maaau
008 220420s2020 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 $a GraMSec (Workshop) $n (7th : $d 2020 : $c Online) $3 3527632
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 3135367
650 0 $a Computer networks $x Security measures $x Congresses. $3 582085
650 0 $a Data encryption (Computer science) $v Congresses. $3 844473
650 1 4 $a Systems and Data Security. $3 898223
650 2 4 $a Legal Aspects of Computing. $3 892641
650 2 4 $a Cryptology. $3 3382308
650 2 4 $a Computer Crime. $3 3382518
650 2 4 $a Information Systems Applications (incl. Internet) $3 1565452
700 1 $a Eades, Harley. $3 3527633
700 1 $a Gadyatskaya, Olga. $3 3527634
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12419. $3 3527635
830 0 $a Security and cryptology. $3 3382517
856 4 0 $u https://doi.org/10.1007/978-3-030-62230-5
950 $a Computer Science (SpringerNature-11645)