Record:   Prev Next
作者 International Workshop on Graphical Models for Security (2nd : 2015 : Verona, Italy)
書名 Graphical models for security : second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers / edited by Sjouke Mauw, Barbara Kordy, Sushil Jajodia
出版項 Cham : Springer International Publishing : Imprint: Springer, 2016
國際標準書號 9783319299686 (electronic bk.)
9783319299679 (paper)
國際標準號碼 10.1007/978-3-319-29968-6 doi
book jacket
說明 1 online resource (ix, 103 pages) : illustrations, digital ; 24 cm
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
系列 Lecture notes in computer science, 0302-9743 ; 9390
Lecture notes in computer science ; 9390
附註 Integrated Visualization of Network Security Metadata from Heterogeneous Data Sources -- SysML-Sec Attack Graphs: Compact Representations for Complex Attacks -- Guided Specification and Analysis of a Loyalty Card System -- How to Generate Security Cameras: Towards Defence Generation for Sociotechnical Systems -- Transforming Graphical System Models to Graphical Attack Models -- ATSyRa: An Integrated Environment for Synthesizing Attack Trees
This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015. The 5 revised full papers presented together with one short tool paper and one invited lecture were carefully reviewed and selected from 13 submissions. The workshop contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage, thus providing an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures
Host Item Springer eBooks
主題 Computer security -- Graphic methods -- Congresses
Computer networks -- Security measures -- Congreses
Computer Science
Systems and Data Security
Computer Communication Networks
Software Engineering
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs
Alt Author Mauw, Sjouke, editor
Kordy, Barbara, editor
Jajodia, Sushil, editor
SpringerLink (Online service)
Alt Title GraMSec 2015
Record:   Prev Next