Matches in SemOpenAlex for { <https://semopenalex.org/work/W3186554114> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3186554114 abstract "With increase in demand for the security aspects of software, every phase of the Software Development Life Cycle (SDLC) is experiencing major changes with respect to security. Security designers, developers, and testers are keen on improving various security aspects of a system. Specification of security requirements propagates to different phases of an SDLC and there exist different techniques and methodologies to specify security requirements. Business level security requirements are specified using policy specification languages. The current literature has specification languages that are domain based, web based, network based, syntax based, semantics based, predicate based, and protocol based. In this research effort, a generic secure policy prototype and components of the generic secure policy were defined using formal methods. The Descartes specification language, a formal executable specification language, has been developed to specify software systems. The development of a secure policy framework along with extended constructs of the Descartes specification language for specifying secure policies are some of the deliverables of this research effort. Concepts of secure policies were adopted from the SPromela, Ponder, and REI methodologies for secure policy specification, analysis, and design." @default.
- W3186554114 created "2021-08-02" @default.
- W3186554114 creator A5052254800 @default.
- W3186554114 date "2020-01-01" @default.
- W3186554114 modified "2023-09-27" @default.
- W3186554114 title "Secure Descartes: A Security Extension to Descartes Specification Language" @default.
- W3186554114 hasPublicationYear "2020" @default.
- W3186554114 type Work @default.
- W3186554114 sameAs 3186554114 @default.
- W3186554114 citedByCount "0" @default.
- W3186554114 crossrefType "posted-content" @default.
- W3186554114 hasAuthorship W3186554114A5052254800 @default.
- W3186554114 hasConcept C115903868 @default.
- W3186554114 hasConcept C116253237 @default.
- W3186554114 hasConcept C120617098 @default.
- W3186554114 hasConcept C121822524 @default.
- W3186554114 hasConcept C13159133 @default.
- W3186554114 hasConcept C154908896 @default.
- W3186554114 hasConcept C180152950 @default.
- W3186554114 hasConcept C199360897 @default.
- W3186554114 hasConcept C201677973 @default.
- W3186554114 hasConcept C2777904410 @default.
- W3186554114 hasConcept C29983905 @default.
- W3186554114 hasConcept C38652104 @default.
- W3186554114 hasConcept C41008148 @default.
- W3186554114 hasConcept C527648132 @default.
- W3186554114 hasConcept C529173508 @default.
- W3186554114 hasConcept C62913178 @default.
- W3186554114 hasConcept C75606506 @default.
- W3186554114 hasConcept C90069079 @default.
- W3186554114 hasConceptScore W3186554114C115903868 @default.
- W3186554114 hasConceptScore W3186554114C116253237 @default.
- W3186554114 hasConceptScore W3186554114C120617098 @default.
- W3186554114 hasConceptScore W3186554114C121822524 @default.
- W3186554114 hasConceptScore W3186554114C13159133 @default.
- W3186554114 hasConceptScore W3186554114C154908896 @default.
- W3186554114 hasConceptScore W3186554114C180152950 @default.
- W3186554114 hasConceptScore W3186554114C199360897 @default.
- W3186554114 hasConceptScore W3186554114C201677973 @default.
- W3186554114 hasConceptScore W3186554114C2777904410 @default.
- W3186554114 hasConceptScore W3186554114C29983905 @default.
- W3186554114 hasConceptScore W3186554114C38652104 @default.
- W3186554114 hasConceptScore W3186554114C41008148 @default.
- W3186554114 hasConceptScore W3186554114C527648132 @default.
- W3186554114 hasConceptScore W3186554114C529173508 @default.
- W3186554114 hasConceptScore W3186554114C62913178 @default.
- W3186554114 hasConceptScore W3186554114C75606506 @default.
- W3186554114 hasConceptScore W3186554114C90069079 @default.
- W3186554114 hasOpenAccess W3186554114 @default.
- W3186554114 hasRelatedWork W1495207366 @default.
- W3186554114 hasRelatedWork W1564851403 @default.
- W3186554114 hasRelatedWork W1592887751 @default.
- W3186554114 hasRelatedWork W1638887518 @default.
- W3186554114 hasRelatedWork W1648468328 @default.
- W3186554114 hasRelatedWork W1993069658 @default.
- W3186554114 hasRelatedWork W2009421920 @default.
- W3186554114 hasRelatedWork W2027095886 @default.
- W3186554114 hasRelatedWork W2060087898 @default.
- W3186554114 hasRelatedWork W2065824523 @default.
- W3186554114 hasRelatedWork W2081105739 @default.
- W3186554114 hasRelatedWork W2117824779 @default.
- W3186554114 hasRelatedWork W2122401294 @default.
- W3186554114 hasRelatedWork W2123524508 @default.
- W3186554114 hasRelatedWork W2141730086 @default.
- W3186554114 hasRelatedWork W2141935522 @default.
- W3186554114 hasRelatedWork W2159723285 @default.
- W3186554114 hasRelatedWork W2165240599 @default.
- W3186554114 hasRelatedWork W2230261480 @default.
- W3186554114 hasRelatedWork W2260543090 @default.
- W3186554114 isParatext "false" @default.
- W3186554114 isRetracted "false" @default.
- W3186554114 magId "3186554114" @default.
- W3186554114 workType "article" @default.