國立虎尾科技大學 |

Graphical Models for Security = Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Graphical Models for Security/ edited by Barbara Kordy, Mathias Ekstedt, Dong Seong Kim.
其他題名:	Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /
其他作者:	Kordy, Barbara.
面頁冊數:	IX, 167 p. 62 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer security. -
電子資源:	https://doi.org/10.1007/978-3-319-46263-9
ISBN:	9783319462639

Graphical Models for Security = Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /
Graphical Models for SecurityThird International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /[electronic resource] :edited by Barbara Kordy, Mathias Ekstedt, Dong Seong Kim. - 1st ed. 2016. - IX, 167 p. 62 illus.online resource. - Security and Cryptology ;9987. - Security and Cryptology ;9241.

A Bottom-up Approach to Applying Graphical Models in Security Analysis -- On the Soundness of Attack Trees -- The Right Tool for the Job: a Case for Common Input Scenarios for Security Assessment -- Differential Privacy Analysis of Data Processing Workflows -- Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees -- Enterprise Architecture-Based Risk and Security Modelling and Analysis -- From A to Z: Developing a Visual Vocabulary for Information Security Threat Visualisation -- Quantitative Attack Tree Analysis: Stochastic Bounds and Numerical Analysis -- Survivability Analysis of a Computer System under an Advanced Persistent Threat Attack -- Confining Adversary Actions via Measurement. .

This book constitutes the refereed proceedings from the Third International Workshop on Graphical Models for Security, GraMSec 2016, held in Lisbon, Portugal, in June 2016. The 9 papers presented in this volume were carefully reviewed and selected from 23 submissions. The volume also contains the invited talk by Xinming Ou. GraMSec contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage. .

ISBN: 9783319462639

Standard No.: 10.1007/978-3-319-46263-9doiSubjects--Topical Terms:

557122
Computer security.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

Graphical Models for Security = Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /
LDR:02739nam a22004215i 4500 001 980959
003 DE-He213
005 20200705085133.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319462639 $9 978-3-319-46263-9
024 7 $a 10.1007/978-3-319-46263-9 $2 doi
035 $a 978-3-319-46263-9
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 Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers / $c edited by Barbara Kordy, Mathias Ekstedt, Dong Seong Kim.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a IX, 167 p. 62 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 9987
505 0 $a A Bottom-up Approach to Applying Graphical Models in Security Analysis -- On the Soundness of Attack Trees -- The Right Tool for the Job: a Case for Common Input Scenarios for Security Assessment -- Differential Privacy Analysis of Data Processing Workflows -- Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees -- Enterprise Architecture-Based Risk and Security Modelling and Analysis -- From A to Z: Developing a Visual Vocabulary for Information Security Threat Visualisation -- Quantitative Attack Tree Analysis: Stochastic Bounds and Numerical Analysis -- Survivability Analysis of a Computer System under an Advanced Persistent Threat Attack -- Confining Adversary Actions via Measurement. .
520 $a This book constitutes the refereed proceedings from the Third International Workshop on Graphical Models for Security, GraMSec 2016, held in Lisbon, Portugal, in June 2016. The 9 papers presented in this volume were carefully reviewed and selected from 23 submissions. The volume also contains the invited talk by Xinming Ou. GraMSec contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage. .
650 0 $a Computer security. $3 557122
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Computer communication systems. $3 1115394
650 0 $a Software engineering. $3 562952
650 0 $a Algorithms. $3 527865
650 1 4 $a Systems and Data Security. $3 677062
650 2 4 $a Discrete Mathematics in Computer Science. $3 670123
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
700 1 $a Kordy, Barbara. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1105765
700 1 $a Ekstedt, Mathias. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1113526
700 1 $a Kim, Dong Seong. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1113527
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319462622
776 0 8 $i Printed edition: $z 9783319462646
830 0 $a Security and Cryptology ; $v 9241 $3 1254069
856 4 0 $u https://doi.org/10.1007/978-3-319-46263-9
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)