Matches in SemOpenAlex for { <https://semopenalex.org/work/W2502132529> ?p ?o ?g. }
- W2502132529 abstract "In the design of software and cyber-physical systems, security is often perceived as a qualitative need, but can only be attained quantitatively. Especially when distributed components are involved, it is hard to predict and confront all possible attacks. A main challenge in the development of complex systems is therefore to discover attacks, quantify them to comprehend their likelihood, and communicate them to non-experts for facilitating the decision process. To address this three-sided challenge we propose a protection analysis over the Quality Calculus that (i) computes all the sets of data required by an attacker to reach a given location in a system, (ii) determines the cheapest set of such attacks for a given notion of cost, and (iii) derives an attack tree that displays the attacks graphically. The protection analysis is first developed in a qualitative setting, and then extended to quantitative settings following an approach applicable to a great many contexts. The quantitative formulation is implemented as an optimisation problem encoded into Satisfiability Modulo Theories, allowing us to deal with complex cost structures. The usefulness of the framework is demonstrated on a national-scale authentication system, studied through a Java implementation of the framework." @default.
- W2502132529 created "2016-08-23" @default.
- W2502132529 creator A5012948241 @default.
- W2502132529 creator A5023066472 @default.
- W2502132529 creator A5089639449 @default.
- W2502132529 date "2017-04-27" @default.
- W2502132529 modified "2023-10-17" @default.
- W2502132529 title "Discovering, quantifying, and displaying attacks" @default.
- W2502132529 cites W1451511196 @default.
- W2502132529 cites W1515452738 @default.
- W2502132529 cites W1541087836 @default.
- W2502132529 cites W1547446473 @default.
- W2502132529 cites W1548812055 @default.
- W2502132529 cites W1558846408 @default.
- W2502132529 cites W168836647 @default.
- W2502132529 cites W2013876477 @default.
- W2502132529 cites W2024677950 @default.
- W2502132529 cites W2049973206 @default.
- W2502132529 cites W2074078071 @default.
- W2502132529 cites W2083658929 @default.
- W2502132529 cites W2103313298 @default.
- W2502132529 cites W2110908300 @default.
- W2502132529 cites W2121805588 @default.
- W2502132529 cites W2128599211 @default.
- W2502132529 cites W2129183345 @default.
- W2502132529 cites W2133505575 @default.
- W2502132529 cites W2154984259 @default.
- W2502132529 cites W2156607688 @default.
- W2502132529 cites W2157554212 @default.
- W2502132529 cites W2571398649 @default.
- W2502132529 cites W2951994276 @default.
- W2502132529 cites W49422905 @default.
- W2502132529 cites W82848659 @default.
- W2502132529 cites W2499849620 @default.
- W2502132529 doi "https://doi.org/10.2168/lmcs-12(4:5)2016" @default.
- W2502132529 hasPublicationYear "2017" @default.
- W2502132529 type Work @default.
- W2502132529 sameAs 2502132529 @default.
- W2502132529 citedByCount "3" @default.
- W2502132529 countsByYear W25021325292019 @default.
- W2502132529 countsByYear W25021325292022 @default.
- W2502132529 countsByYear W25021325292023 @default.
- W2502132529 crossrefType "journal-article" @default.
- W2502132529 hasAuthorship W2502132529A5012948241 @default.
- W2502132529 hasAuthorship W2502132529A5023066472 @default.
- W2502132529 hasAuthorship W2502132529A5089639449 @default.
- W2502132529 hasBestOaLocation W25021325291 @default.
- W2502132529 hasConcept C111472728 @default.
- W2502132529 hasConcept C114614502 @default.
- W2502132529 hasConcept C138885662 @default.
- W2502132529 hasConcept C148417208 @default.
- W2502132529 hasConcept C164155591 @default.
- W2502132529 hasConcept C168773769 @default.
- W2502132529 hasConcept C177264268 @default.
- W2502132529 hasConcept C199360897 @default.
- W2502132529 hasConcept C2777904410 @default.
- W2502132529 hasConcept C2779530757 @default.
- W2502132529 hasConcept C33923547 @default.
- W2502132529 hasConcept C38652104 @default.
- W2502132529 hasConcept C41008148 @default.
- W2502132529 hasConcept C54732982 @default.
- W2502132529 hasConcept C548217200 @default.
- W2502132529 hasConcept C80444323 @default.
- W2502132529 hasConcept C98045186 @default.
- W2502132529 hasConceptScore W2502132529C111472728 @default.
- W2502132529 hasConceptScore W2502132529C114614502 @default.
- W2502132529 hasConceptScore W2502132529C138885662 @default.
- W2502132529 hasConceptScore W2502132529C148417208 @default.
- W2502132529 hasConceptScore W2502132529C164155591 @default.
- W2502132529 hasConceptScore W2502132529C168773769 @default.
- W2502132529 hasConceptScore W2502132529C177264268 @default.
- W2502132529 hasConceptScore W2502132529C199360897 @default.
- W2502132529 hasConceptScore W2502132529C2777904410 @default.
- W2502132529 hasConceptScore W2502132529C2779530757 @default.
- W2502132529 hasConceptScore W2502132529C33923547 @default.
- W2502132529 hasConceptScore W2502132529C38652104 @default.
- W2502132529 hasConceptScore W2502132529C41008148 @default.
- W2502132529 hasConceptScore W2502132529C54732982 @default.
- W2502132529 hasConceptScore W2502132529C548217200 @default.
- W2502132529 hasConceptScore W2502132529C80444323 @default.
- W2502132529 hasConceptScore W2502132529C98045186 @default.
- W2502132529 hasLocation W25021325291 @default.
- W2502132529 hasLocation W25021325292 @default.
- W2502132529 hasLocation W25021325293 @default.
- W2502132529 hasLocation W25021325294 @default.
- W2502132529 hasOpenAccess W2502132529 @default.
- W2502132529 hasPrimaryLocation W25021325291 @default.
- W2502132529 hasRelatedWork W1505526588 @default.
- W2502132529 hasRelatedWork W1530824419 @default.
- W2502132529 hasRelatedWork W1868334863 @default.
- W2502132529 hasRelatedWork W2238963713 @default.
- W2502132529 hasRelatedWork W2401269204 @default.
- W2502132529 hasRelatedWork W2652810043 @default.
- W2502132529 hasRelatedWork W2951913576 @default.
- W2502132529 hasRelatedWork W3014139035 @default.
- W2502132529 hasRelatedWork W4298483060 @default.
- W2502132529 hasRelatedWork W75225272 @default.
- W2502132529 hasVolume "Volume 12, Issue 4" @default.
- W2502132529 isParatext "false" @default.
- W2502132529 isRetracted "false" @default.