Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099695058> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2099695058 endingPage "74" @default.
- W2099695058 startingPage "60" @default.
- W2099695058 abstract "This paper deals with architectural designs that specify components of a system and the permitted flows of information between them. In the process of systems development, one might refine such a design by viewing a component as being composed of subcomponents, and specifying permitted flows of information between these subcomponents and others in the design. The paper studies the soundness of such refinements with respect to a spectrum of different semantics for information flow policies. These include Goguen and Meseguer’s purge-based definition, Haigh and Young’s intransitive purge-based definition, and some more recent notions TA-security, TO-security and ITO-security defined by van der Meyden. It is also shown that refinement preserves weak access control structure, an implementation mechanism that ensures TA-security." @default.
- W2099695058 created "2016-06-24" @default.
- W2099695058 creator A5035101401 @default.
- W2099695058 date "2009-01-01" @default.
- W2099695058 modified "2023-09-26" @default.
- W2099695058 title "Architectural Refinement and Notions of Intransitive Noninterference" @default.
- W2099695058 cites W1521364912 @default.
- W2099695058 cites W1594455430 @default.
- W2099695058 cites W1977764760 @default.
- W2099695058 cites W1991895580 @default.
- W2099695058 cites W2006943537 @default.
- W2099695058 cites W2048500751 @default.
- W2099695058 cites W2098592421 @default.
- W2099695058 cites W2115603783 @default.
- W2099695058 cites W2153703803 @default.
- W2099695058 cites W2156334993 @default.
- W2099695058 cites W306995698 @default.
- W2099695058 cites W4231888751 @default.
- W2099695058 cites W4232077871 @default.
- W2099695058 cites W4249839281 @default.
- W2099695058 doi "https://doi.org/10.1007/978-3-642-00199-4_6" @default.
- W2099695058 hasPublicationYear "2009" @default.
- W2099695058 type Work @default.
- W2099695058 sameAs 2099695058 @default.
- W2099695058 citedByCount "3" @default.
- W2099695058 crossrefType "book-chapter" @default.
- W2099695058 hasAuthorship W2099695058A5035101401 @default.
- W2099695058 hasBestOaLocation W20996950582 @default.
- W2099695058 hasConcept C121332964 @default.
- W2099695058 hasConcept C138885662 @default.
- W2099695058 hasConcept C154908896 @default.
- W2099695058 hasConcept C168167062 @default.
- W2099695058 hasConcept C184337299 @default.
- W2099695058 hasConcept C199360897 @default.
- W2099695058 hasConcept C2779136372 @default.
- W2099695058 hasConcept C38652104 @default.
- W2099695058 hasConcept C39920170 @default.
- W2099695058 hasConcept C41008148 @default.
- W2099695058 hasConcept C41895202 @default.
- W2099695058 hasConcept C527821871 @default.
- W2099695058 hasConcept C80444323 @default.
- W2099695058 hasConcept C97355855 @default.
- W2099695058 hasConcept C98045186 @default.
- W2099695058 hasConceptScore W2099695058C121332964 @default.
- W2099695058 hasConceptScore W2099695058C138885662 @default.
- W2099695058 hasConceptScore W2099695058C154908896 @default.
- W2099695058 hasConceptScore W2099695058C168167062 @default.
- W2099695058 hasConceptScore W2099695058C184337299 @default.
- W2099695058 hasConceptScore W2099695058C199360897 @default.
- W2099695058 hasConceptScore W2099695058C2779136372 @default.
- W2099695058 hasConceptScore W2099695058C38652104 @default.
- W2099695058 hasConceptScore W2099695058C39920170 @default.
- W2099695058 hasConceptScore W2099695058C41008148 @default.
- W2099695058 hasConceptScore W2099695058C41895202 @default.
- W2099695058 hasConceptScore W2099695058C527821871 @default.
- W2099695058 hasConceptScore W2099695058C80444323 @default.
- W2099695058 hasConceptScore W2099695058C97355855 @default.
- W2099695058 hasConceptScore W2099695058C98045186 @default.
- W2099695058 hasLocation W20996950581 @default.
- W2099695058 hasLocation W20996950582 @default.
- W2099695058 hasOpenAccess W2099695058 @default.
- W2099695058 hasPrimaryLocation W20996950581 @default.
- W2099695058 hasRelatedWork W109180904 @default.
- W2099695058 hasRelatedWork W1594366040 @default.
- W2099695058 hasRelatedWork W1855927527 @default.
- W2099695058 hasRelatedWork W1965339206 @default.
- W2099695058 hasRelatedWork W1966354044 @default.
- W2099695058 hasRelatedWork W2948600122 @default.
- W2099695058 hasRelatedWork W2952136710 @default.
- W2099695058 hasRelatedWork W3106643118 @default.
- W2099695058 hasRelatedWork W4237428255 @default.
- W2099695058 hasRelatedWork W4297827766 @default.
- W2099695058 isParatext "false" @default.
- W2099695058 isRetracted "false" @default.
- W2099695058 magId "2099695058" @default.
- W2099695058 workType "book-chapter" @default.