Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130653859> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2130653859 abstract "As we know, current hookup or composable properties may impose over-strong security requirements on component systems. To overcome this problem, connectivities of the components have to be considered in order to appropriately handle their composition. Based on such a consideration, in this paper we adopt the concept of rely- and guarantee-conditions to present a composable property of noninterference. We enforce the requirement of noninterference only on some input-output entities of each component with regard to its connectivity, and communication constraints on its others so as to ensure that their entire system can satisfy noninterference. This enables the system and its components to possess different security properties, i.e. the security property of the system can be logically stronger than security properties of its components. >" @default.
- W2130653859 created "2016-06-24" @default.
- W2130653859 creator A5025927902 @default.
- W2130653859 creator A5061698636 @default.
- W2130653859 creator A5077525379 @default.
- W2130653859 date "2002-12-30" @default.
- W2130653859 modified "2023-09-25" @default.
- W2130653859 title "Applying noninterference to composition of systems: a more practical approach" @default.
- W2130653859 cites W1581632202 @default.
- W2130653859 cites W1977764760 @default.
- W2130653859 cites W2069858199 @default.
- W2130653859 cites W2090551028 @default.
- W2130653859 cites W2137660666 @default.
- W2130653859 cites W2144220824 @default.
- W2130653859 cites W2157933368 @default.
- W2130653859 cites W2158196184 @default.
- W2130653859 cites W2486882506 @default.
- W2130653859 cites W34782372 @default.
- W2130653859 doi "https://doi.org/10.1109/csac.1993.315438" @default.
- W2130653859 hasPublicationYear "2002" @default.
- W2130653859 type Work @default.
- W2130653859 sameAs 2130653859 @default.
- W2130653859 citedByCount "6" @default.
- W2130653859 crossrefType "proceedings-article" @default.
- W2130653859 hasAuthorship W2130653859A5025927902 @default.
- W2130653859 hasAuthorship W2130653859A5061698636 @default.
- W2130653859 hasAuthorship W2130653859A5077525379 @default.
- W2130653859 hasConcept C10138342 @default.
- W2130653859 hasConcept C111472728 @default.
- W2130653859 hasConcept C120314980 @default.
- W2130653859 hasConcept C121332964 @default.
- W2130653859 hasConcept C138885662 @default.
- W2130653859 hasConcept C144133560 @default.
- W2130653859 hasConcept C168167062 @default.
- W2130653859 hasConcept C182306322 @default.
- W2130653859 hasConcept C189950617 @default.
- W2130653859 hasConcept C38652104 @default.
- W2130653859 hasConcept C40231798 @default.
- W2130653859 hasConcept C41008148 @default.
- W2130653859 hasConcept C41895202 @default.
- W2130653859 hasConcept C97355855 @default.
- W2130653859 hasConceptScore W2130653859C10138342 @default.
- W2130653859 hasConceptScore W2130653859C111472728 @default.
- W2130653859 hasConceptScore W2130653859C120314980 @default.
- W2130653859 hasConceptScore W2130653859C121332964 @default.
- W2130653859 hasConceptScore W2130653859C138885662 @default.
- W2130653859 hasConceptScore W2130653859C144133560 @default.
- W2130653859 hasConceptScore W2130653859C168167062 @default.
- W2130653859 hasConceptScore W2130653859C182306322 @default.
- W2130653859 hasConceptScore W2130653859C189950617 @default.
- W2130653859 hasConceptScore W2130653859C38652104 @default.
- W2130653859 hasConceptScore W2130653859C40231798 @default.
- W2130653859 hasConceptScore W2130653859C41008148 @default.
- W2130653859 hasConceptScore W2130653859C41895202 @default.
- W2130653859 hasConceptScore W2130653859C97355855 @default.
- W2130653859 hasLocation W21306538591 @default.
- W2130653859 hasOpenAccess W2130653859 @default.
- W2130653859 hasPrimaryLocation W21306538591 @default.
- W2130653859 hasRelatedWork W1503761302 @default.
- W2130653859 hasRelatedWork W1819958245 @default.
- W2130653859 hasRelatedWork W1957951093 @default.
- W2130653859 hasRelatedWork W1965618985 @default.
- W2130653859 hasRelatedWork W2024014242 @default.
- W2130653859 hasRelatedWork W2069858199 @default.
- W2130653859 hasRelatedWork W2108887121 @default.
- W2130653859 hasRelatedWork W2117301329 @default.
- W2130653859 hasRelatedWork W2138345879 @default.
- W2130653859 hasRelatedWork W2144220824 @default.
- W2130653859 hasRelatedWork W2145434031 @default.
- W2130653859 hasRelatedWork W2165190917 @default.
- W2130653859 hasRelatedWork W2368647106 @default.
- W2130653859 hasRelatedWork W2376101303 @default.
- W2130653859 hasRelatedWork W2430131036 @default.
- W2130653859 hasRelatedWork W2754909771 @default.
- W2130653859 hasRelatedWork W3088537673 @default.
- W2130653859 hasRelatedWork W3125758765 @default.
- W2130653859 hasRelatedWork W76754017 @default.
- W2130653859 hasRelatedWork W617956461 @default.
- W2130653859 isParatext "false" @default.
- W2130653859 isRetracted "false" @default.
- W2130653859 magId "2130653859" @default.
- W2130653859 workType "article" @default.