FRINK Linked Data Fragments server

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

• W2115744773 abstract "The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended security properties remain largely unrealized on a repeatable and consistent basis. We present the FADES (Formal Analysis and Design approach for Engineering Security) that integrates KAOS (Knowledge Acquisition in autOmated Specifications) with the B specification language to derive security design specifications and further implementation from security requirements. We demonstrate the capability of the approach to handle changes to security requirements by introducing corrective changes to the security requirements of a case study, the spy network system. The objective is to bridge the gap between formal requirements and design for security requirements. Our initial results show promise with FADES in preserving security properties and detecting security vulnerabilities early during requirements. Encouraged by these, we are more quantitatively assessing the FADES capabilities." @default.
• W2115744773 created "2016-06-24" @default.
• W2115744773 creator A5007119340 @default.
• W2115744773 creator A5031878715 @default.
• W2115744773 creator A5033371329 @default.
• W2115744773 creator A5058274053 @default.
• W2115744773 date "2009-01-01" @default.
• W2115744773 modified "2023-09-23" @default.
• W2115744773 title "Integrating Formal Analysis and Design to Preserve Security Properties" @default.
• W2115744773 cites W1531064568 @default.
• W2115744773 cites W1560393601 @default.
• W2115744773 cites W1564123263 @default.
• W2115744773 cites W1594900225 @default.
• W2115744773 cites W1890697268 @default.
• W2115744773 cites W1925237104 @default.
• W2115744773 cites W1985236007 @default.
• W2115744773 cites W2088405928 @default.
• W2115744773 cites W2097154968 @default.
• W2115744773 cites W2110085773 @default.
• W2115744773 cites W2117818414 @default.
• W2115744773 cites W2117934173 @default.
• W2115744773 cites W2129527513 @default.
• W2115744773 cites W2483076092 @default.
• W2115744773 doi "https://doi.org/10.1109/hicss.2009.267" @default.
• W2115744773 hasPublicationYear "2009" @default.
• W2115744773 type Work @default.
• W2115744773 sameAs 2115744773 @default.
• W2115744773 citedByCount "5" @default.
• W2115744773 crossrefType "proceedings-article" @default.
• W2115744773 hasAuthorship W2115744773A5007119340 @default.
• W2115744773 hasAuthorship W2115744773A5031878715 @default.
• W2115744773 hasAuthorship W2115744773A5033371329 @default.
• W2115744773 hasAuthorship W2115744773A5058274053 @default.
• W2115744773 hasConcept C100776233 @default.
• W2115744773 hasConcept C103377522 @default.
• W2115744773 hasConcept C111919701 @default.
• W2115744773 hasConcept C115903868 @default.
• W2115744773 hasConcept C116253237 @default.
• W2115744773 hasConcept C121822524 @default.
• W2115744773 hasConcept C126322002 @default.
• W2115744773 hasConcept C13159133 @default.
• W2115744773 hasConcept C184842701 @default.
• W2115744773 hasConcept C195518309 @default.
• W2115744773 hasConcept C199360897 @default.
• W2115744773 hasConcept C2777904410 @default.
• W2115744773 hasConcept C29983905 @default.
• W2115744773 hasConcept C38652104 @default.
• W2115744773 hasConcept C41008148 @default.
• W2115744773 hasConcept C527648132 @default.
• W2115744773 hasConcept C59488412 @default.
• W2115744773 hasConcept C62913178 @default.
• W2115744773 hasConcept C6604083 @default.
• W2115744773 hasConcept C71924100 @default.
• W2115744773 hasConcept C75606506 @default.
• W2115744773 hasConcept C79974875 @default.
• W2115744773 hasConceptScore W2115744773C100776233 @default.
• W2115744773 hasConceptScore W2115744773C103377522 @default.
• W2115744773 hasConceptScore W2115744773C111919701 @default.
• W2115744773 hasConceptScore W2115744773C115903868 @default.
• W2115744773 hasConceptScore W2115744773C116253237 @default.
• W2115744773 hasConceptScore W2115744773C121822524 @default.
• W2115744773 hasConceptScore W2115744773C126322002 @default.
• W2115744773 hasConceptScore W2115744773C13159133 @default.
• W2115744773 hasConceptScore W2115744773C184842701 @default.
• W2115744773 hasConceptScore W2115744773C195518309 @default.
• W2115744773 hasConceptScore W2115744773C199360897 @default.
• W2115744773 hasConceptScore W2115744773C2777904410 @default.
• W2115744773 hasConceptScore W2115744773C29983905 @default.
• W2115744773 hasConceptScore W2115744773C38652104 @default.
• W2115744773 hasConceptScore W2115744773C41008148 @default.
• W2115744773 hasConceptScore W2115744773C527648132 @default.
• W2115744773 hasConceptScore W2115744773C59488412 @default.
• W2115744773 hasConceptScore W2115744773C62913178 @default.
• W2115744773 hasConceptScore W2115744773C6604083 @default.
• W2115744773 hasConceptScore W2115744773C71924100 @default.
• W2115744773 hasConceptScore W2115744773C75606506 @default.
• W2115744773 hasConceptScore W2115744773C79974875 @default.
• W2115744773 hasLocation W21157447731 @default.
• W2115744773 hasOpenAccess W2115744773 @default.
• W2115744773 hasPrimaryLocation W21157447731 @default.
• W2115744773 hasRelatedWork W1597028236 @default.
• W2115744773 hasRelatedWork W2001506155 @default.
• W2115744773 hasRelatedWork W2020194669 @default.
• W2115744773 hasRelatedWork W2033292263 @default.
• W2115744773 hasRelatedWork W2040278195 @default.
• W2115744773 hasRelatedWork W2083951609 @default.
• W2115744773 hasRelatedWork W2088405928 @default.
• W2115744773 hasRelatedWork W2093727105 @default.
• W2115744773 hasRelatedWork W2097154968 @default.
• W2115744773 hasRelatedWork W2101195914 @default.
• W2115744773 hasRelatedWork W2102069200 @default.
• W2115744773 hasRelatedWork W2114334503 @default.
• W2115744773 hasRelatedWork W2125764176 @default.
• W2115744773 hasRelatedWork W2130310983 @default.
• W2115744773 hasRelatedWork W2130463662 @default.
• W2115744773 hasRelatedWork W2151996107 @default.
• W2115744773 hasRelatedWork W2189292182 @default.
• W2115744773 hasRelatedWork W2279923222 @default.
• W2115744773 hasRelatedWork W2893316171 @default.
• W2115744773 hasRelatedWork W2966046383 @default.

• next