國立虎尾科技大學 |

Graphical Models for Security = 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Graphical Models for Security/ edited by Peng Liu, Sjouke Mauw, Ketil Stolen.
其他題名:	4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers /
其他作者:	Liu, Peng.
面頁冊數:	XI, 147 p. 48 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer security. -
電子資源:	https://doi.org/10.1007/978-3-319-74860-3
ISBN:	9783319748603

Graphical Models for Security = 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers /
Graphical Models for Security4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers /[electronic resource] :edited by Peng Liu, Sjouke Mauw, Ketil Stolen. - 1st ed. 2018. - XI, 147 p. 48 illus.online resource. - Security and Cryptology ;10744. - Security and Cryptology ;9241.

Graphical modeling of Security Arguments: Current State and Future Directions -- Evil Twins: Handling Repetitions in Attack - Defense Trees - A Survival Guide -- Visualizing Cyber Security Risks with Bow-Tie Diagrams -- CSIRA: A method for analysing the risk of cybersecurity incidents -- Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata -- Probabilistic Modeling of Insider Threat Detection Systems -- Security Modeling for Embedded System Design -- Circle of Health Based Access Control for Personal Health Information Systems -- New Directions in Attack Tree Research: Catching up with Industrial Needs -- Employing Graphical Risk Models to Facilitate Cyber-Risk Monitoring - the WISER Approach.

This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017. The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest research and developments on graphical models for security.

ISBN: 9783319748603

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

557122
Computer security.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

Graphical Models for Security = 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers /
LDR:02671nam a22004215i 4500 001 998047
003 DE-He213
005 20200702154855.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319748603 $9 978-3-319-74860-3
024 7 $a 10.1007/978-3-319-74860-3 $2 doi
035 $a 978-3-319-74860-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 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers / $c edited by Peng Liu, Sjouke Mauw, Ketil Stolen.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XI, 147 p. 48 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 10744
505 0 $a Graphical modeling of Security Arguments: Current State and Future Directions -- Evil Twins: Handling Repetitions in Attack - Defense Trees - A Survival Guide -- Visualizing Cyber Security Risks with Bow-Tie Diagrams -- CSIRA: A method for analysing the risk of cybersecurity incidents -- Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata -- Probabilistic Modeling of Insider Threat Detection Systems -- Security Modeling for Embedded System Design -- Circle of Health Based Access Control for Personal Health Information Systems -- New Directions in Attack Tree Research: Catching up with Industrial Needs -- Employing Graphical Risk Models to Facilitate Cyber-Risk Monitoring - the WISER Approach.
520 $a This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017. The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest research and developments on graphical models for security.
650 0 $a Computer security. $3 557122
650 0 $a Computer programming. $3 527822
650 0 $a Software engineering. $3 562952
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computers. $3 565115
650 0 $a Computer organization. $3 596298
650 1 4 $a Systems and Data Security. $3 677062
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computing Milieux. $3 669921
650 2 4 $a Computer Systems Organization and Communication Networks. $3 669309
700 1 $a Liu, Peng. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 897904
700 1 $a Mauw, Sjouke. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 680996
700 1 $a Stolen, Ketil. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 782227
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319748597
776 0 8 $i Printed edition: $z 9783319748610
830 0 $a Security and Cryptology ; $v 9241 $3 1254069
856 4 0 $u https://doi.org/10.1007/978-3-319-74860-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)