Matches in SemOpenAlex for { <https://semopenalex.org/work/W2088405928> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2088405928 abstract "Engineering secure software remains a significant challenge for today's software organizations as they struggle to understand the implications of security o the system and develop systems that guarantee specified software security properties. Despite many software engineering advances, current methods for deriving a design from a set of requirements that guarantee the retention of the intended security properties remains difficult and often unachievable. If security requirements are formalized and transformed into design using formal methods, the result would reduce the potential for security vulnerabilities through better clarity, completeness, and consistency. To this end, we outline a requirements-driven security engineering approach for deriving design specifications from security requirements that guarantee security properties specified in requirements are retained. We build on the goal-oriented KAOS (Knowledge Acquisition in autOmated Specifications) framework to formally construct a complete, consistent, and clear security requirements model. The resulting model is then transformed to the B language to derive security design specifications. Using B enables us to further implement the design while preserving requirements relevant security properties. Using the B refinement mechanism, we generate design specifications and ultimately implementation. The approach treats security-specific elements in a systematic and constructive way while considering security early in the development lifecycle with assurance of completeness, consistency and clarity throughout the development. Moreover, our approach allows for requirement traceability at the various phases of development that helps security evaluators to have more confidence in the target of evaluation." @default.
- W2088405928 created "2016-06-24" @default.
- W2088405928 creator A5031878715 @default.
- W2088405928 creator A5033371329 @default.
- W2088405928 creator A5058274053 @default.
- W2088405928 date "2008-05-12" @default.
- W2088405928 modified "2023-10-17" @default.
- W2088405928 title "Formal derivation of security design specifications from security requirements" @default.
- W2088405928 cites W2117818414 @default.
- W2088405928 cites W2118926712 @default.
- W2088405928 doi "https://doi.org/10.1145/1413140.1413152" @default.
- W2088405928 hasPublicationYear "2008" @default.
- W2088405928 type Work @default.
- W2088405928 sameAs 2088405928 @default.
- W2088405928 citedByCount "5" @default.
- W2088405928 countsByYear W20884059282019 @default.
- W2088405928 countsByYear W20884059282021 @default.
- W2088405928 crossrefType "proceedings-article" @default.
- W2088405928 hasAuthorship W2088405928A5031878715 @default.
- W2088405928 hasAuthorship W2088405928A5033371329 @default.
- W2088405928 hasAuthorship W2088405928A5058274053 @default.
- W2088405928 hasConcept C103377522 @default.
- W2088405928 hasConcept C111919701 @default.
- W2088405928 hasConcept C114869243 @default.
- W2088405928 hasConcept C115903868 @default.
- W2088405928 hasConcept C121822524 @default.
- W2088405928 hasConcept C13159133 @default.
- W2088405928 hasConcept C135475081 @default.
- W2088405928 hasConcept C184842701 @default.
- W2088405928 hasConcept C195518309 @default.
- W2088405928 hasConcept C199360897 @default.
- W2088405928 hasConcept C2777904410 @default.
- W2088405928 hasConcept C29983905 @default.
- W2088405928 hasConcept C38652104 @default.
- W2088405928 hasConcept C41008148 @default.
- W2088405928 hasConcept C527648132 @default.
- W2088405928 hasConcept C59488412 @default.
- W2088405928 hasConcept C62913178 @default.
- W2088405928 hasConcept C6604083 @default.
- W2088405928 hasConcept C79974875 @default.
- W2088405928 hasConceptScore W2088405928C103377522 @default.
- W2088405928 hasConceptScore W2088405928C111919701 @default.
- W2088405928 hasConceptScore W2088405928C114869243 @default.
- W2088405928 hasConceptScore W2088405928C115903868 @default.
- W2088405928 hasConceptScore W2088405928C121822524 @default.
- W2088405928 hasConceptScore W2088405928C13159133 @default.
- W2088405928 hasConceptScore W2088405928C135475081 @default.
- W2088405928 hasConceptScore W2088405928C184842701 @default.
- W2088405928 hasConceptScore W2088405928C195518309 @default.
- W2088405928 hasConceptScore W2088405928C199360897 @default.
- W2088405928 hasConceptScore W2088405928C2777904410 @default.
- W2088405928 hasConceptScore W2088405928C29983905 @default.
- W2088405928 hasConceptScore W2088405928C38652104 @default.
- W2088405928 hasConceptScore W2088405928C41008148 @default.
- W2088405928 hasConceptScore W2088405928C527648132 @default.
- W2088405928 hasConceptScore W2088405928C59488412 @default.
- W2088405928 hasConceptScore W2088405928C62913178 @default.
- W2088405928 hasConceptScore W2088405928C6604083 @default.
- W2088405928 hasConceptScore W2088405928C79974875 @default.
- W2088405928 hasLocation W20884059281 @default.
- W2088405928 hasOpenAccess W2088405928 @default.
- W2088405928 hasPrimaryLocation W20884059281 @default.
- W2088405928 hasRelatedWork W110733897 @default.
- W2088405928 hasRelatedWork W1988225931 @default.
- W2088405928 hasRelatedWork W1994752878 @default.
- W2088405928 hasRelatedWork W2013238834 @default.
- W2088405928 hasRelatedWork W2020194669 @default.
- W2088405928 hasRelatedWork W2178535488 @default.
- W2088405928 hasRelatedWork W2183689037 @default.
- W2088405928 hasRelatedWork W2406589135 @default.
- W2088405928 hasRelatedWork W25306326 @default.
- W2088405928 hasRelatedWork W2101814335 @default.
- W2088405928 isParatext "false" @default.
- W2088405928 isRetracted "false" @default.
- W2088405928 magId "2088405928" @default.
- W2088405928 workType "article" @default.