國立虎尾科技大學 |

Graphical Models for Security = 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Graphical Models for Security/ edited by George Cybenko, David Pym, Barbara Fila.
Reminder of title:	5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers /
other author:	Cybenko, George.
Description:	XI, 131 p. 56 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer security. -
Online resource:	https://doi.org/10.1007/978-3-030-15465-3
ISBN:	9783030154653

Graphical Models for Security = 5th 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] :edited by George Cybenko, David Pym, Barbara Fila. - 1st ed. 2019. - XI, 131 p. 56 illus.online resource. - Security and Cryptology ;11086. - Security and Cryptology ;9241.

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

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

557122
Computer security.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

Graphical Models for Security = 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers /
LDR:02368nam a22004215i 4500 001 1013026
003 DE-He213
005 20200702082115.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030154653 $9 978-3-030-15465-3
024 7 $a 10.1007/978-3-030-15465-3 $2 doi
035 $a 978-3-030-15465-3
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 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers / $c edited by George Cybenko, David Pym, Barbara Fila.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XI, 131 p. 56 illus. $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 11086
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. $3 557122
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer crimes. $3 564161
650 0 $a Computer programming. $3 527822
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computers. $3 565115
650 0 $a Law and legislation. $3 1069250
650 1 4 $a Systems and Data Security. $3 677062
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computer Crime. $3 1226852
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Legal Aspects of Computing. $3 669901
700 1 $a Cybenko, George. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1301446
700 1 $a Pym, David. $e editor. $1 https://orcid.org/0000-0002-6504-5838 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1307335
700 1 $a Fila, Barbara. $e editor. $1 https://orcid.org/0000-0002-1824-7621 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1307336
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030154646
776 0 8 $i Printed edition: $z 9783030154660
830 0 $a Security and Cryptology ; $v 9241 $3 1254069
856 4 0 $u https://doi.org/10.1007/978-3-030-15465-3
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)