menu 简单麦麦
account_circle

安全图形模型:第五届国际研讨会,GraMSec 2018,英国牛津,2018年7月8日,修订精选论文-Graphical Models for Security: 5th International

帮助2592人找到了他们想要的文件
上传于 2020-02-28 14次下载 5587次围观
文件编号:1981
文件详情
标题(title):Graphical Models for Security: 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
安全图形模型:第五届国际研讨会,GraMSec 2018,英国牛津,2018年7月8日,修订精选论文
作者(author):George Cybenko, David Pym, Barbara Fila
出版社(publisher):Springer International Publishing
大小(size):13 MB (13687147 bytes)
格式(extension):pdf
注意:如果文件下载完成后为无法打开的格式,请修改后缀名为格式对应后缀



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.


Table of contents :
Front Matter ....Pages I-XI
Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins (Mansoor Ahmed, Ilia Shumailov, Ross Anderson)....Pages 1-12
Deciding the Non-emptiness of Attack Trees (Maxime Audinot, Sophie Pinchinat, François Schwarzentruber, Florence Wacheux)....Pages 13-30
Combining Bayesian Networks and Fishbone Diagrams to Distinguish Between Intentional Attacks and Accidental Technical Failures (Sabarathinam Chockalingam, Wolter Pieters, André Teixeira, Nima Khakzad, Pieter van Gelder)....Pages 31-50
Disclosure Analysis of SQL Workflows (Marlon Dumas, Luciano García-Bañuelos, Peeter Laud)....Pages 51-70
On Linear Logic, Functional Programming, and Attack Trees (Harley Eades III, Jiaming Jiang, Aubrey Bryant)....Pages 71-89
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement (Ross Horne, Sjouke Mauw, Alwen Tiu)....Pages 90-110
A State Machine System for Insider Threat Detection (Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese, Michael Goldsmith)....Pages 111-129
Back Matter ....Pages 131-131
下载方式
购买后可查看 购买按钮在底部

常见问题

  • question_answer
    解压密码,提取码在哪?
    keyboard_arrow_down
    • 均在下载旁边哦,请注意查看,如果没有则是不需要密码
  • question_answer
    文件不符合描述怎么办?
    keyboard_arrow_down
    • 如果有文件问题,可以通过 卖家联系方式 联系卖家,如果 联系不上卖家 或 卖家无法解决则可以在我的订单页面申请售后
  • question_answer
    其他
    keyboard_arrow_down
    • 3.本文件为公益分享,文件由网上采集而来,如有侵权等问题,请及时联系客服删除
      常见问题及官方客服联系方式:点击前往
      售后问题处理方式:点击前往
-到底部了哦-
微信扫码支付
安全图形模型:第五届国际研讨会,GraMSec 2018,英国牛津,2018年7月8日,修订精选论文-Graphical Models for Security: 5th International
支付金额: 共计:¥0.0

添加收藏

创建新合集