Matches in SemOpenAlex for { <https://semopenalex.org/work/W2587468764> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2587468764 abstract "The increasing usage of computer-based systems in almost every aspect of ourdaily life makes more and more dangerous the threat posed by potential attackers,and more and more rewarding a successful attack. Moreover, the complexityof these systems is also increasing, including physical devices, softwarecomponents and human actors interacting with each other to form so-calledsocio-technical systems. The importance of socio-technical systems to modernsocieties requires verifying their security properties formally, while their inherentcomplexity makes manual analyses impracticable.Graphical models for security offer an unrivalled opportunity to describesocio-technical systems, for they allow to represent different aspects like humanbehaviour, computation and physical phenomena in an abstract yet uniformmanner. Moreover, these models can be assigned a formal semantics, therebyallowing formal verification of their properties. Finally, their appealing graphicalnotations enable to communicate security concerns in an understandable wayalso to non-experts, often in charge of the decision making.This dissertation argues that automated techniques can be developed ongraphical security models to evaluate qualitative and quantitative security propertiesof socio-technical systems and to synthesise optimal attack and defencestrategies.In support to this claim we develop analysis techniques for widely-usedgraphical security models such as attack trees and attack-defence trees. Ouranalyses cope with the optimisation of multiple parameters of an attack anddefence scenario. Improving on the literature, in case of conflicting parameterssuch as probability and cost we compute the set of optimal solutions interms of Pareto efficiency. Moreover, we investigate the relation between attackand attack-defence trees and stochastic models in a verification-oriented setting,with the aim of levering the great many mature tools and analysis techniquesdeveloped for instance in the area of games." @default.
- W2587468764 created "2017-02-17" @default.
- W2587468764 creator A5035632547 @default.
- W2587468764 date "2017-01-01" @default.
- W2587468764 modified "2023-09-25" @default.
- W2587468764 title "Formal Analysis of Graphical Security Models" @default.
- W2587468764 hasPublicationYear "2017" @default.
- W2587468764 type Work @default.
- W2587468764 sameAs 2587468764 @default.
- W2587468764 citedByCount "0" @default.
- W2587468764 crossrefType "journal-article" @default.
- W2587468764 hasAuthorship W2587468764A5035632547 @default.
- W2587468764 hasConcept C115903868 @default.
- W2587468764 hasConcept C154945302 @default.
- W2587468764 hasConcept C155846161 @default.
- W2587468764 hasConcept C177264268 @default.
- W2587468764 hasConcept C184337299 @default.
- W2587468764 hasConcept C199360897 @default.
- W2587468764 hasConcept C33923547 @default.
- W2587468764 hasConcept C38652104 @default.
- W2587468764 hasConcept C41008148 @default.
- W2587468764 hasConcept C45357846 @default.
- W2587468764 hasConcept C75606506 @default.
- W2587468764 hasConcept C80444323 @default.
- W2587468764 hasConcept C94375191 @default.
- W2587468764 hasConceptScore W2587468764C115903868 @default.
- W2587468764 hasConceptScore W2587468764C154945302 @default.
- W2587468764 hasConceptScore W2587468764C155846161 @default.
- W2587468764 hasConceptScore W2587468764C177264268 @default.
- W2587468764 hasConceptScore W2587468764C184337299 @default.
- W2587468764 hasConceptScore W2587468764C199360897 @default.
- W2587468764 hasConceptScore W2587468764C33923547 @default.
- W2587468764 hasConceptScore W2587468764C38652104 @default.
- W2587468764 hasConceptScore W2587468764C41008148 @default.
- W2587468764 hasConceptScore W2587468764C45357846 @default.
- W2587468764 hasConceptScore W2587468764C75606506 @default.
- W2587468764 hasConceptScore W2587468764C80444323 @default.
- W2587468764 hasConceptScore W2587468764C94375191 @default.
- W2587468764 hasLocation W25874687641 @default.
- W2587468764 hasOpenAccess W2587468764 @default.
- W2587468764 hasPrimaryLocation W25874687641 @default.
- W2587468764 hasRelatedWork W1199066106 @default.
- W2587468764 hasRelatedWork W1518358359 @default.
- W2587468764 hasRelatedWork W1548420541 @default.
- W2587468764 hasRelatedWork W1582237078 @default.
- W2587468764 hasRelatedWork W1987127202 @default.
- W2587468764 hasRelatedWork W2081601216 @default.
- W2587468764 hasRelatedWork W2103848824 @default.
- W2587468764 hasRelatedWork W2105265565 @default.
- W2587468764 hasRelatedWork W2229156111 @default.
- W2587468764 hasRelatedWork W2476304629 @default.
- W2587468764 hasRelatedWork W2560539811 @default.
- W2587468764 hasRelatedWork W2759948347 @default.
- W2587468764 hasRelatedWork W2889406118 @default.
- W2587468764 hasRelatedWork W2948443596 @default.
- W2587468764 hasRelatedWork W2949764445 @default.
- W2587468764 hasRelatedWork W2968733887 @default.
- W2587468764 hasRelatedWork W3007111576 @default.
- W2587468764 hasRelatedWork W3210995085 @default.
- W2587468764 hasRelatedWork W349523793 @default.
- W2587468764 hasRelatedWork W99778302 @default.
- W2587468764 isParatext "false" @default.
- W2587468764 isRetracted "false" @default.
- W2587468764 magId "2587468764" @default.
- W2587468764 workType "article" @default.