Matches in SemOpenAlex for { <https://semopenalex.org/work/W1857488909> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1857488909 abstract "The satisfaction of software security requirements can be argued using supporting facts and domain assumptions. Sometimes, these facts or assumptions may be questioned, as more knowledge about vulnerabilities becomes available. This results in rebuttals that can be derived from the new information. In this paper, we outline an extension of our OpenArgue tool with an explanation facility that makes a rebuttal more transparent by showing, step by step, why the original security argument does not hold. We achieve this by using the output of the Alligator theorem prover, which constructs explicit and checkable proof objects. We illustrate the feasibility of this approach by applying it to an existing case study of a PIN entry device which involves a security argument that has been rebutted. The output of the prover enables us to unpack the logical reasoning behind the rebuttal at a much greater level of detail. This promises to be useful for argument explanation." @default.
- W1857488909 created "2016-06-24" @default.
- W1857488909 creator A5002289161 @default.
- W1857488909 creator A5031843184 @default.
- W1857488909 creator A5060861082 @default.
- W1857488909 creator A5077974543 @default.
- W1857488909 date "2014-12-10" @default.
- W1857488909 modified "2023-09-27" @default.
- W1857488909 title "Towards explaining rebuttals in security arguments" @default.
- W1857488909 cites W1530722813 @default.
- W1857488909 cites W1608751598 @default.
- W1857488909 cites W2100230008 @default.
- W1857488909 cites W2127845924 @default.
- W1857488909 cites W2142515939 @default.
- W1857488909 cites W2164900099 @default.
- W1857488909 cites W2167771807 @default.
- W1857488909 cites W2251772312 @default.
- W1857488909 cites W98391454 @default.
- W1857488909 hasPublicationYear "2014" @default.
- W1857488909 type Work @default.
- W1857488909 sameAs 1857488909 @default.
- W1857488909 citedByCount "0" @default.
- W1857488909 crossrefType "journal-article" @default.
- W1857488909 hasAuthorship W1857488909A5002289161 @default.
- W1857488909 hasAuthorship W1857488909A5031843184 @default.
- W1857488909 hasAuthorship W1857488909A5060861082 @default.
- W1857488909 hasAuthorship W1857488909A5077974543 @default.
- W1857488909 hasConcept C108710211 @default.
- W1857488909 hasConcept C111472728 @default.
- W1857488909 hasConcept C134306372 @default.
- W1857488909 hasConcept C138885662 @default.
- W1857488909 hasConcept C159718280 @default.
- W1857488909 hasConcept C162324750 @default.
- W1857488909 hasConcept C17744445 @default.
- W1857488909 hasConcept C185592680 @default.
- W1857488909 hasConcept C190253527 @default.
- W1857488909 hasConcept C199343813 @default.
- W1857488909 hasConcept C199360897 @default.
- W1857488909 hasConcept C199539241 @default.
- W1857488909 hasConcept C2524010 @default.
- W1857488909 hasConcept C2777310092 @default.
- W1857488909 hasConcept C2777686260 @default.
- W1857488909 hasConcept C2778029271 @default.
- W1857488909 hasConcept C33923547 @default.
- W1857488909 hasConcept C36503486 @default.
- W1857488909 hasConcept C41008148 @default.
- W1857488909 hasConcept C55493867 @default.
- W1857488909 hasConcept C71924100 @default.
- W1857488909 hasConcept C98184364 @default.
- W1857488909 hasConceptScore W1857488909C108710211 @default.
- W1857488909 hasConceptScore W1857488909C111472728 @default.
- W1857488909 hasConceptScore W1857488909C134306372 @default.
- W1857488909 hasConceptScore W1857488909C138885662 @default.
- W1857488909 hasConceptScore W1857488909C159718280 @default.
- W1857488909 hasConceptScore W1857488909C162324750 @default.
- W1857488909 hasConceptScore W1857488909C17744445 @default.
- W1857488909 hasConceptScore W1857488909C185592680 @default.
- W1857488909 hasConceptScore W1857488909C190253527 @default.
- W1857488909 hasConceptScore W1857488909C199343813 @default.
- W1857488909 hasConceptScore W1857488909C199360897 @default.
- W1857488909 hasConceptScore W1857488909C199539241 @default.
- W1857488909 hasConceptScore W1857488909C2524010 @default.
- W1857488909 hasConceptScore W1857488909C2777310092 @default.
- W1857488909 hasConceptScore W1857488909C2777686260 @default.
- W1857488909 hasConceptScore W1857488909C2778029271 @default.
- W1857488909 hasConceptScore W1857488909C33923547 @default.
- W1857488909 hasConceptScore W1857488909C36503486 @default.
- W1857488909 hasConceptScore W1857488909C41008148 @default.
- W1857488909 hasConceptScore W1857488909C55493867 @default.
- W1857488909 hasConceptScore W1857488909C71924100 @default.
- W1857488909 hasConceptScore W1857488909C98184364 @default.
- W1857488909 hasLocation W18574889091 @default.
- W1857488909 hasOpenAccess W1857488909 @default.
- W1857488909 hasPrimaryLocation W18574889091 @default.
- W1857488909 hasRelatedWork W1043079987 @default.
- W1857488909 hasRelatedWork W1591567845 @default.
- W1857488909 hasRelatedWork W1685929431 @default.
- W1857488909 hasRelatedWork W1969908804 @default.
- W1857488909 hasRelatedWork W202196235 @default.
- W1857488909 hasRelatedWork W2032030317 @default.
- W1857488909 hasRelatedWork W2085556349 @default.
- W1857488909 hasRelatedWork W2098915757 @default.
- W1857488909 hasRelatedWork W2141804270 @default.
- W1857488909 hasRelatedWork W2181853385 @default.
- W1857488909 hasRelatedWork W2320017735 @default.
- W1857488909 hasRelatedWork W2326822973 @default.
- W1857488909 hasRelatedWork W2387003280 @default.
- W1857488909 hasRelatedWork W2603633062 @default.
- W1857488909 hasRelatedWork W2983056585 @default.
- W1857488909 hasRelatedWork W3125198823 @default.
- W1857488909 hasRelatedWork W3125300156 @default.
- W1857488909 hasRelatedWork W38837462 @default.
- W1857488909 hasRelatedWork W1997372534 @default.
- W1857488909 hasRelatedWork W2742894339 @default.
- W1857488909 isParatext "false" @default.
- W1857488909 isRetracted "false" @default.
- W1857488909 magId "1857488909" @default.
- W1857488909 workType "article" @default.