Matches in SemOpenAlex for { <https://semopenalex.org/work/W1532295939> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1532295939 abstract "The use of Z in software development has focused on specifying the functionality of a system. However, when developing secure system, it is important to address fundamental security aspects, such as authentication, authorization, and auditing. In this paper, we show an approach for building systems from generic and modular security components using promotion technique in Z. The approach focuses on weaving security component into the functionality of a system using promotion technique in Z. For each component, Z notation is used to construct its state-based model and the relevant operations. Once a component is introduced, the defined local operations are promoted to work on the global state. We illustrate this approach on the development of a “secure” model for a conference management system. With this approach, it is possible to specify the core functionalities of a system independently from the security mechanisms. Authentication and authorization are viewed as components which are carefully integrated with the functional system." @default.
- W1532295939 created "2016-06-24" @default.
- W1532295939 creator A5022174056 @default.
- W1532295939 creator A5045383388 @default.
- W1532295939 date "2008-01-01" @default.
- W1532295939 modified "2023-09-27" @default.
- W1532295939 title "Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion" @default.
- W1532295939 cites W1486178352 @default.
- W1532295939 cites W1505159507 @default.
- W1532295939 cites W1524147119 @default.
- W1532295939 cites W1563614125 @default.
- W1532295939 cites W1594674973 @default.
- W1532295939 cites W2141329987 @default.
- W1532295939 cites W2166602595 @default.
- W1532295939 cites W2325245547 @default.
- W1532295939 cites W2533805347 @default.
- W1532295939 cites W4246611021 @default.
- W1532295939 doi "https://doi.org/10.1007/978-3-540-88479-8_59" @default.
- W1532295939 hasPublicationYear "2008" @default.
- W1532295939 type Work @default.
- W1532295939 sameAs 1532295939 @default.
- W1532295939 citedByCount "2" @default.
- W1532295939 crossrefType "book-chapter" @default.
- W1532295939 hasAuthorship W1532295939A5022174056 @default.
- W1532295939 hasAuthorship W1532295939A5045383388 @default.
- W1532295939 hasConcept C101468663 @default.
- W1532295939 hasConcept C115903868 @default.
- W1532295939 hasConcept C121332964 @default.
- W1532295939 hasConcept C127413603 @default.
- W1532295939 hasConcept C148417208 @default.
- W1532295939 hasConcept C168167062 @default.
- W1532295939 hasConcept C199360897 @default.
- W1532295939 hasConcept C2780801425 @default.
- W1532295939 hasConcept C38652104 @default.
- W1532295939 hasConcept C41008148 @default.
- W1532295939 hasConcept C527821871 @default.
- W1532295939 hasConcept C54525549 @default.
- W1532295939 hasConcept C78519656 @default.
- W1532295939 hasConcept C97355855 @default.
- W1532295939 hasConceptScore W1532295939C101468663 @default.
- W1532295939 hasConceptScore W1532295939C115903868 @default.
- W1532295939 hasConceptScore W1532295939C121332964 @default.
- W1532295939 hasConceptScore W1532295939C127413603 @default.
- W1532295939 hasConceptScore W1532295939C148417208 @default.
- W1532295939 hasConceptScore W1532295939C168167062 @default.
- W1532295939 hasConceptScore W1532295939C199360897 @default.
- W1532295939 hasConceptScore W1532295939C2780801425 @default.
- W1532295939 hasConceptScore W1532295939C38652104 @default.
- W1532295939 hasConceptScore W1532295939C41008148 @default.
- W1532295939 hasConceptScore W1532295939C527821871 @default.
- W1532295939 hasConceptScore W1532295939C54525549 @default.
- W1532295939 hasConceptScore W1532295939C78519656 @default.
- W1532295939 hasConceptScore W1532295939C97355855 @default.
- W1532295939 hasLocation W15322959391 @default.
- W1532295939 hasOpenAccess W1532295939 @default.
- W1532295939 hasPrimaryLocation W15322959391 @default.
- W1532295939 hasRelatedWork W1121564445 @default.
- W1532295939 hasRelatedWork W130803915 @default.
- W1532295939 hasRelatedWork W15337596 @default.
- W1532295939 hasRelatedWork W1597028236 @default.
- W1532295939 hasRelatedWork W180420618 @default.
- W1532295939 hasRelatedWork W190998489 @default.
- W1532295939 hasRelatedWork W2021642580 @default.
- W1532295939 hasRelatedWork W2051739511 @default.
- W1532295939 hasRelatedWork W2069454622 @default.
- W1532295939 hasRelatedWork W2082171213 @default.
- W1532295939 hasRelatedWork W2115211792 @default.
- W1532295939 hasRelatedWork W2130404706 @default.
- W1532295939 hasRelatedWork W2148336220 @default.
- W1532295939 hasRelatedWork W2161258378 @default.
- W1532295939 hasRelatedWork W2171200521 @default.
- W1532295939 hasRelatedWork W2399641152 @default.
- W1532295939 hasRelatedWork W2527879420 @default.
- W1532295939 hasRelatedWork W3163326877 @default.
- W1532295939 hasRelatedWork W47481937 @default.
- W1532295939 hasRelatedWork W4888648 @default.
- W1532295939 isParatext "false" @default.
- W1532295939 isRetracted "false" @default.
- W1532295939 magId "1532295939" @default.
- W1532295939 workType "book-chapter" @default.