國立高雄大學圖資館 |

Language: English

Back

Graphical models for security5th Int...

(1998 :)

Graphical models for security5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018 : revised selected papers /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Graphical models for securityedited by George Cybenko, David Pym, Barbara Fila.
Reminder of title:	5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018 : revised selected papers /
remainder title:	GraMSec 2018
other author:	Cybenko, George.
corporate name:
Published:	Cham :Springer International Publishing :2019.
Description:	xi, 131 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer securityCongresses.Graphic methods
Online resource:	https://doi.org/10.1007/978-3-030-15465-3
ISBN:	9783030154653$q(electronic bk.)

Graphical models for security5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018 : revised selected papers /
Graphical models for security5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018 : revised selected papers /[electronic resource] :GraMSec 2018edited by George Cybenko, David Pym, Barbara Fila. - Cham :Springer International Publishing :2019. - xi, 131 p. :ill., digital ;24 cm. - Lecture notes in computer science,110860302-9743 ;. - Lecture notes in computer science ;4891..

Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins -- Deciding the Non-Emptiness of Attack trees -- Combining Bayesian Networks and Fishbone Diagrams to Distinguish Between Intentional Attacks and Accidental Technical Failures -- Disclosure Analysis of SQL Workflows -- On Linear Logic, Functional Programming, and Attack Trees -- The Attacker Does Not Always Hold the Initiative: Attack Trees with External Refinement -- A State Machine System for Insider Threat Detection.

This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018. The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for security.

ISBN: 9783030154653$q(electronic bk.)

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

740642
Computer security
--Graphic methods--Congresses.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

Graphical models for security5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018 : revised selected papers /
LDR:02112nmm a2200373 a 4500 001 554426
003 DE-He213
005 20190330085444.0
006 m d
007 cr nn 008maaau
008 191118s2019 gw s 0 eng d
020 $a 9783030154653$q(electronic bk.)
020 $a 9783030154646$q(paper)
024 7 $a 10.1007/978-3-030-15465-3 $2 doi
035 $a 978-3-030-15465-3
040 $a GP $c GP
041 0 $a eng
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
090 $a QA76.9.A25 $b G747 2018
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Graphical models for security $h [electronic resource] : $b 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018 : revised selected papers / $c edited by George Cybenko, David Pym, Barbara Fila.
246 3 $a GraMSec 2018
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xi, 131 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11086
490 1 $a Security and cryptology
505 0 $a Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins -- Deciding the Non-Emptiness of Attack trees -- Combining Bayesian Networks and Fishbone Diagrams to Distinguish Between Intentional Attacks and Accidental Technical Failures -- Disclosure Analysis of SQL Workflows -- On Linear Logic, Functional Programming, and Attack Trees -- The Attacker Does Not Always Hold the Initiative: Attack Trees with External Refinement -- A State Machine System for Insider Threat Detection.
520 $a This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018. The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for 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 1 4 $a Systems and Data Security. $3 274481
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Computer Crime. $3 833604
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Legal Aspects of Computing. $3 276398
700 1 $a Cybenko, George. $3 836105
700 1 $a Pym, David. $3 484862
700 1 $a Fila, Barbara. $3 836106
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
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-15465-3
950 $a Computer Science (Springer-11645)