FRINK Linked Data Fragments server

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

• W4386585657 endingPage "148" @default.
• W4386585657 startingPage "135" @default.
• W4386585657 abstract "We propose a model-based procedure for preventing security threats using formal models. We encode system models and threats as satisfiability modulo theory (SMT) formulas. This model allows us to ask security questions as satisfiability queries. We formulate threat prevention as an optimization problem over the same formulas. The outcome of our threat prevention procedure is a suggestion of model attribute repair that eliminates threats. We implement our approach using the state-of-the-art Z3 SMT solver and interface it with the threat analysis tool THREATGET. We demonstrate the value of our procedure in two case studies from automotive and smart home domains." @default.
• W4386585657 created "2023-09-11" @default.
• W4386585657 creator A5017498019 @default.
• W4386585657 creator A5019047546 @default.
• W4386585657 creator A5023392230 @default.
• W4386585657 creator A5052399473 @default.
• W4386585657 creator A5053520475 @default.
• W4386585657 creator A5071277490 @default.
• W4386585657 date "2023-01-01" @default.
• W4386585657 modified "2023-09-29" @default.
• W4386585657 title "Attribute Repair for Threat Prevention" @default.
• W4386585657 cites W1548812055 @default.
• W4386585657 cites W2154984259 @default.
• W4386585657 cites W2971007810 @default.
• W4386585657 cites W3021334088 @default.
• W4386585657 cites W3086971808 @default.
• W4386585657 cites W602497127 @default.
• W4386585657 cites W89830494 @default.
• W4386585657 doi "https://doi.org/10.1007/978-3-031-40923-3_11" @default.
• W4386585657 hasPublicationYear "2023" @default.
• W4386585657 type Work @default.
• W4386585657 citedByCount "0" @default.
• W4386585657 crossrefType "book-chapter" @default.
• W4386585657 hasAuthorship W4386585657A5017498019 @default.
• W4386585657 hasAuthorship W4386585657A5019047546 @default.
• W4386585657 hasAuthorship W4386585657A5023392230 @default.
• W4386585657 hasAuthorship W4386585657A5052399473 @default.
• W4386585657 hasAuthorship W4386585657A5053520475 @default.
• W4386585657 hasAuthorship W4386585657A5071277490 @default.
• W4386585657 hasConcept C104317684 @default.
• W4386585657 hasConcept C110406131 @default.
• W4386585657 hasConcept C113843644 @default.
• W4386585657 hasConcept C11413529 @default.
• W4386585657 hasConcept C114614502 @default.
• W4386585657 hasConcept C127413603 @default.
• W4386585657 hasConcept C129307140 @default.
• W4386585657 hasConcept C136264566 @default.
• W4386585657 hasConcept C140547941 @default.
• W4386585657 hasConcept C146978453 @default.
• W4386585657 hasConcept C157915830 @default.
• W4386585657 hasConcept C162324750 @default.
• W4386585657 hasConcept C164155591 @default.
• W4386585657 hasConcept C168773769 @default.
• W4386585657 hasConcept C173608175 @default.
• W4386585657 hasConcept C185592680 @default.
• W4386585657 hasConcept C199360897 @default.
• W4386585657 hasConcept C2778770139 @default.
• W4386585657 hasConcept C33923547 @default.
• W4386585657 hasConcept C38652104 @default.
• W4386585657 hasConcept C41008148 @default.
• W4386585657 hasConcept C48103436 @default.
• W4386585657 hasConcept C526921623 @default.
• W4386585657 hasConcept C54732982 @default.
• W4386585657 hasConcept C55493867 @default.
• W4386585657 hasConcept C66746571 @default.
• W4386585657 hasConcept C6943359 @default.
• W4386585657 hasConcept C80444323 @default.
• W4386585657 hasConcept C90329073 @default.
• W4386585657 hasConceptScore W4386585657C104317684 @default.
• W4386585657 hasConceptScore W4386585657C110406131 @default.
• W4386585657 hasConceptScore W4386585657C113843644 @default.
• W4386585657 hasConceptScore W4386585657C11413529 @default.
• W4386585657 hasConceptScore W4386585657C114614502 @default.
• W4386585657 hasConceptScore W4386585657C127413603 @default.
• W4386585657 hasConceptScore W4386585657C129307140 @default.
• W4386585657 hasConceptScore W4386585657C136264566 @default.
• W4386585657 hasConceptScore W4386585657C140547941 @default.
• W4386585657 hasConceptScore W4386585657C146978453 @default.
• W4386585657 hasConceptScore W4386585657C157915830 @default.
• W4386585657 hasConceptScore W4386585657C162324750 @default.
• W4386585657 hasConceptScore W4386585657C164155591 @default.
• W4386585657 hasConceptScore W4386585657C168773769 @default.
• W4386585657 hasConceptScore W4386585657C173608175 @default.
• W4386585657 hasConceptScore W4386585657C185592680 @default.
• W4386585657 hasConceptScore W4386585657C199360897 @default.
• W4386585657 hasConceptScore W4386585657C2778770139 @default.
• W4386585657 hasConceptScore W4386585657C33923547 @default.
• W4386585657 hasConceptScore W4386585657C38652104 @default.
• W4386585657 hasConceptScore W4386585657C41008148 @default.
• W4386585657 hasConceptScore W4386585657C48103436 @default.
• W4386585657 hasConceptScore W4386585657C526921623 @default.
• W4386585657 hasConceptScore W4386585657C54732982 @default.
• W4386585657 hasConceptScore W4386585657C55493867 @default.
• W4386585657 hasConceptScore W4386585657C66746571 @default.
• W4386585657 hasConceptScore W4386585657C6943359 @default.
• W4386585657 hasConceptScore W4386585657C80444323 @default.
• W4386585657 hasConceptScore W4386585657C90329073 @default.
• W4386585657 hasLocation W43865856571 @default.
• W4386585657 hasOpenAccess W4386585657 @default.
• W4386585657 hasPrimaryLocation W43865856571 @default.
• W4386585657 hasRelatedWork W1868334863 @default.
• W4386585657 hasRelatedWork W2141151670 @default.
• W4386585657 hasRelatedWork W2238963713 @default.
• W4386585657 hasRelatedWork W2276124093 @default.
• W4386585657 hasRelatedWork W2370121430 @default.
• W4386585657 hasRelatedWork W2652810043 @default.
• W4386585657 hasRelatedWork W2956992268 @default.
• W4386585657 hasRelatedWork W3088531255 @default.

• next