FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3041153266> ?p ?o ?g. }

• W3041153266 abstract "This paper tackles the problems of generating concrete test cases for testing whether an application is vulnerable to attacks, and of checking whether security solutions are correctly implemented. The approach proposed in the paper aims at guiding developers towards the implementation of secure applications, from the threat modelling stage up to the testing one. This approach relies on a knowledge base integrating varied security data, e.g., attacks, attack steps, and security patterns that are generic and re-usable solutions to design secure applications. The first stage of the approach consists in assisting developers in the design of Attack Defense Trees expressing the attacker possibilities to compromise an application and the defenses that may be implemented. These defenses are given under the form of security pattern combinations. In the second stage, these trees are used to guide developers in the test case generation. After the test case execution, test verdicts show whether an application is vulnerable to the threats modelled by an ADTree. The last stage of the approach checks whether behavioural properties of security patterns hold in the application traces collected while the test case execution. These properties are formalised with LTL properties, which are generated from the knowledge base. Developers do not have to write LTL properties not to be expert in formal models. We experimented the approach on 10 Web applications to evaluate its testing effectiveness and its performance." @default.
• W3041153266 created "2020-07-16" @default.
• W3041153266 creator A5000080342 @default.
• W3041153266 creator A5032624369 @default.
• W3041153266 date "2019-01-01" @default.
• W3041153266 modified "2023-10-14" @default.
• W3041153266 title "An Advanced Approach for Choosing Security Patterns and Checking their Implementation" @default.
• W3041153266 cites W1499108226 @default.
• W3041153266 cites W1531064568 @default.
• W3041153266 cites W1533876796 @default.
• W3041153266 cites W1539259953 @default.
• W3041153266 cites W1909163279 @default.
• W3041153266 cites W1974912556 @default.
• W3041153266 cites W1978813170 @default.
• W3041153266 cites W1989609831 @default.
• W3041153266 cites W2001822577 @default.
• W3041153266 cites W2021429806 @default.
• W3041153266 cites W2045974024 @default.
• W3041153266 cites W2068189284 @default.
• W3041153266 cites W2111492220 @default.
• W3041153266 cites W2112968394 @default.
• W3041153266 cites W2121609506 @default.
• W3041153266 cites W2129906605 @default.
• W3041153266 cites W2134521102 @default.
• W3041153266 cites W2134625450 @default.
• W3041153266 cites W2134654117 @default.
• W3041153266 cites W2142527556 @default.
• W3041153266 cites W2153773513 @default.
• W3041153266 cites W2160012352 @default.
• W3041153266 cites W2161422674 @default.
• W3041153266 cites W2242407529 @default.
• W3041153266 cites W2524476898 @default.
• W3041153266 cites W2754063513 @default.
• W3041153266 cites W2769437624 @default.
• W3041153266 cites W2788383994 @default.
• W3041153266 cites W2909612427 @default.
• W3041153266 cites W2939377387 @default.
• W3041153266 cites W3099973619 @default.
• W3041153266 cites W79503960 @default.
• W3041153266 cites W2095881341 @default.
• W3041153266 hasPublicationYear "2019" @default.
• W3041153266 type Work @default.
• W3041153266 sameAs 3041153266 @default.
• W3041153266 citedByCount "0" @default.
• W3041153266 crossrefType "journal-article" @default.
• W3041153266 hasAuthorship W3041153266A5000080342 @default.
• W3041153266 hasAuthorship W3041153266A5032624369 @default.
• W3041153266 hasBestOaLocation W30411532661 @default.
• W3041153266 hasConcept C41008148 @default.
• W3041153266 hasConceptScore W3041153266C41008148 @default.
• W3041153266 hasLocation W30411532661 @default.
• W3041153266 hasLocation W30411532662 @default.
• W3041153266 hasLocation W30411532663 @default.
• W3041153266 hasLocation W30411532664 @default.
• W3041153266 hasOpenAccess W3041153266 @default.
• W3041153266 hasPrimaryLocation W30411532661 @default.
• W3041153266 hasRelatedWork W1596801655 @default.
• W3041153266 hasRelatedWork W2130043461 @default.
• W3041153266 hasRelatedWork W2350741829 @default.
• W3041153266 hasRelatedWork W2358668433 @default.
• W3041153266 hasRelatedWork W2376932109 @default.
• W3041153266 hasRelatedWork W2382290278 @default.
• W3041153266 hasRelatedWork W2390279801 @default.
• W3041153266 hasRelatedWork W2748952813 @default.
• W3041153266 hasRelatedWork W2899084033 @default.
• W3041153266 hasRelatedWork W2530322880 @default.
• W3041153266 isParatext "false" @default.
• W3041153266 isRetracted "false" @default.
• W3041153266 magId "3041153266" @default.
• W3041153266 workType "article" @default.