Graphical models for security : second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers /: second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers. (2016)
- Record Type:
- Book
- Title:
- Graphical models for security : second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers /: second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers. (2016)
- Main Title:
- Graphical models for security : second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers
- Other Titles:
- GraMSec 2015
- Further Information:
- Note: Sjouke Mauw, Barbara Kordy, Sushil Jajodia (eds.).
- Editors:
- Mauw, S
Kordy, Barbara
Jajodia, Sushil - Other Names:
- International Workshop on Graphical Models for Security, 2nd
- Contents:
- 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.
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2016
- Extent:
- 1 online resource (ix, 103 pages), color illustrations
- Subjects:
- 005.8
Computer science
Computer security -- Graphic methods -- Congresses
Computer networks -- Security measures -- Congresses
Computer networks -- Security measures
Computers -- Hardware -- Network Hardware
Computers -- Software Development & Engineering -- General
Computers -- Programming -- Algorithms
Computers -- Information Technology
Computers -- Programming -- General
Network hardware
Software Engineering
Algorithms & data structures
Information retrieval
Computer programming / software development
Computer security
Computer Communication Networks
Software engineering
Computer software
Logic design
Computers -- Security -- General
Computer security
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319299686
3319299689
3319299670
9783319299679 - Related ISBNs:
- 9783319299679
- Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed February 16, 2016).
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.355590
- Ingest File:
- 01_316.xml