Matches in SemOpenAlex for { <https://semopenalex.org/work/W81691118> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W81691118 abstract "A formal model of composible secure systems is presented. The model is divided into three parts: a system representation called the system algebra, a security property called behavioral security, and a composibility theorem for this property.System algebras are derived from many-sorted algebras, with modifications made to account for nondeterminism, input/output behavior, and composition. They provide a representation of the internal mechanism of systems that enables the security of system inputs and outputs to be considered at a suitable level of detail.Behavioral security is a form of noninterference that prevents the disclosure of both high-level inputs and outputs to low-level observers. This property, which applies to system algebras, requires the low-level behavior of the system to remain the same regardless of the presence or absence of high-level activity.Behaviorally secure systems are composible. If two systems are both behaviorally secure, any composition of the two that respects the security levels of system inputs and outputs is also behaviorally secure. Composibility makes the design of complex secure systems tractable by enabling the design of a large system to be partitioned into that of a number of smaller interconnected components. Once the components have been verified to be behaviorally secure and their interconnection determined to be permissible, the behavioral security of the system built from them is ensured by the composibility theorem." @default.
- W81691118 created "2016-06-24" @default.
- W81691118 creator A5079773847 @default.
- W81691118 date "1992-01-01" @default.
- W81691118 modified "2023-09-24" @default.
- W81691118 title "The composibility of behaviorally secure systems" @default.
- W81691118 hasPublicationYear "1992" @default.
- W81691118 type Work @default.
- W81691118 sameAs 81691118 @default.
- W81691118 citedByCount "1" @default.
- W81691118 crossrefType "journal-article" @default.
- W81691118 hasAuthorship W81691118A5079773847 @default.
- W81691118 hasConcept C111472728 @default.
- W81691118 hasConcept C121822524 @default.
- W81691118 hasConcept C138885662 @default.
- W81691118 hasConcept C17744445 @default.
- W81691118 hasConcept C189950617 @default.
- W81691118 hasConcept C199539241 @default.
- W81691118 hasConcept C2776359362 @default.
- W81691118 hasConcept C33923547 @default.
- W81691118 hasConcept C38652104 @default.
- W81691118 hasConcept C40231798 @default.
- W81691118 hasConcept C41008148 @default.
- W81691118 hasConcept C41895202 @default.
- W81691118 hasConcept C80444323 @default.
- W81691118 hasConcept C94625758 @default.
- W81691118 hasConceptScore W81691118C111472728 @default.
- W81691118 hasConceptScore W81691118C121822524 @default.
- W81691118 hasConceptScore W81691118C138885662 @default.
- W81691118 hasConceptScore W81691118C17744445 @default.
- W81691118 hasConceptScore W81691118C189950617 @default.
- W81691118 hasConceptScore W81691118C199539241 @default.
- W81691118 hasConceptScore W81691118C2776359362 @default.
- W81691118 hasConceptScore W81691118C33923547 @default.
- W81691118 hasConceptScore W81691118C38652104 @default.
- W81691118 hasConceptScore W81691118C40231798 @default.
- W81691118 hasConceptScore W81691118C41008148 @default.
- W81691118 hasConceptScore W81691118C41895202 @default.
- W81691118 hasConceptScore W81691118C80444323 @default.
- W81691118 hasConceptScore W81691118C94625758 @default.
- W81691118 hasLocation W816911181 @default.
- W81691118 hasOpenAccess W81691118 @default.
- W81691118 hasPrimaryLocation W816911181 @default.
- W81691118 hasRelatedWork W1485923102 @default.
- W81691118 hasRelatedWork W1588786669 @default.
- W81691118 hasRelatedWork W1926014207 @default.
- W81691118 hasRelatedWork W1999420484 @default.
- W81691118 hasRelatedWork W2010395204 @default.
- W81691118 hasRelatedWork W2024006228 @default.
- W81691118 hasRelatedWork W2053233145 @default.
- W81691118 hasRelatedWork W2060710422 @default.
- W81691118 hasRelatedWork W2089501676 @default.
- W81691118 hasRelatedWork W2098820900 @default.
- W81691118 hasRelatedWork W2099321325 @default.
- W81691118 hasRelatedWork W2163494531 @default.
- W81691118 hasRelatedWork W2163849901 @default.
- W81691118 hasRelatedWork W2441356726 @default.
- W81691118 hasRelatedWork W2481194739 @default.
- W81691118 hasRelatedWork W2497178367 @default.
- W81691118 hasRelatedWork W2617161903 @default.
- W81691118 hasRelatedWork W2760914093 @default.
- W81691118 hasRelatedWork W2901900876 @default.
- W81691118 hasRelatedWork W2955281181 @default.
- W81691118 isParatext "false" @default.
- W81691118 isRetracted "false" @default.
- W81691118 magId "81691118" @default.
- W81691118 workType "article" @default.