Graphical Models for Security
-15%
portes grátis
Graphical Models for Security
Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
Jajodia, Sushil; Kordy, Barbara; Mauw, Sjouke
Springer International Publishing AG
02/2016
103
Mole
Inglês
9783319299679
15 a 20 dias
1883
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
secure services;cyber-physical systems;formal semantics;graphical security modeling schemes;policy validation and verification;attack graphs;attack-defence trees;automated defending;Bayesian networks;big data;business security;cloud computing;game theory;generation of attack models and defences;network security;quantitative analysis;risk analysis;risk assessment;security;socio-technical models
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
secure services;cyber-physical systems;formal semantics;graphical security modeling schemes;policy validation and verification;attack graphs;attack-defence trees;automated defending;Bayesian networks;big data;business security;cloud computing;game theory;generation of attack models and defences;network security;quantitative analysis;risk analysis;risk assessment;security;socio-technical models
