Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994438467> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1994438467 abstract "In this paper, we derive formulas for computing the infimal observable superlanguage and show their applications in studying intransitive non-interference (INI), a fundamental property used in characterizing the security of computer-based systems and network protocols. The definition of observability is generalized since the original one, although suitable for supervisory control, is not general enough for the study of INI and other security applications. We derive formulas for computing the infimal observable superlanguage, based on this more general definition. We also investigate the implementation of these formulas (i.e., actually computing the automata generating infimal observable superlanguages). At the heart of this implementation, is the computation of a special mapping used by the formulas. It is computed through the construction of an automaton generating the mapped language from the automaton generating the original language. Based on these formulas and their implementations, we address the problem of modifying a system to satisfy the property of INI (i.e., for the purpose of actually securing an insecure system). Our modification is based on computing the infimal iP-observable superlanguage, of a given language, since the property of INI is captured by iP-observability." @default.
- W1994438467 created "2016-06-24" @default.
- W1994438467 creator A5009172382 @default.
- W1994438467 creator A5010554782 @default.
- W1994438467 creator A5077792140 @default.
- W1994438467 creator A5085552104 @default.
- W1994438467 date "2011-05-01" @default.
- W1994438467 modified "2023-09-26" @default.
- W1994438467 title "Computing the infimal superlanguage for generalized observability" @default.
- W1994438467 cites W1594455430 @default.
- W1994438467 cites W1977764760 @default.
- W1994438467 cites W1979349468 @default.
- W1994438467 cites W2036978485 @default.
- W1994438467 cites W2068354234 @default.
- W1994438467 cites W2095762545 @default.
- W1994438467 cites W2097743305 @default.
- W1994438467 cites W2133996557 @default.
- W1994438467 cites W2158302348 @default.
- W1994438467 cites W2162785273 @default.
- W1994438467 cites W2165570690 @default.
- W1994438467 doi "https://doi.org/10.1109/ccdc.2011.5968472" @default.
- W1994438467 hasPublicationYear "2011" @default.
- W1994438467 type Work @default.
- W1994438467 sameAs 1994438467 @default.
- W1994438467 citedByCount "1" @default.
- W1994438467 crossrefType "proceedings-article" @default.
- W1994438467 hasAuthorship W1994438467A5009172382 @default.
- W1994438467 hasAuthorship W1994438467A5010554782 @default.
- W1994438467 hasAuthorship W1994438467A5077792140 @default.
- W1994438467 hasAuthorship W1994438467A5085552104 @default.
- W1994438467 hasConcept C111472728 @default.
- W1994438467 hasConcept C112505250 @default.
- W1994438467 hasConcept C121332964 @default.
- W1994438467 hasConcept C136119220 @default.
- W1994438467 hasConcept C138885662 @default.
- W1994438467 hasConcept C154945302 @default.
- W1994438467 hasConcept C189950617 @default.
- W1994438467 hasConcept C199360897 @default.
- W1994438467 hasConcept C202444582 @default.
- W1994438467 hasConcept C2775924081 @default.
- W1994438467 hasConcept C28826006 @default.
- W1994438467 hasConcept C32848918 @default.
- W1994438467 hasConcept C33923547 @default.
- W1994438467 hasConcept C36299963 @default.
- W1994438467 hasConcept C41008148 @default.
- W1994438467 hasConcept C45374587 @default.
- W1994438467 hasConcept C62520636 @default.
- W1994438467 hasConcept C80444323 @default.
- W1994438467 hasConcept C92991967 @default.
- W1994438467 hasConceptScore W1994438467C111472728 @default.
- W1994438467 hasConceptScore W1994438467C112505250 @default.
- W1994438467 hasConceptScore W1994438467C121332964 @default.
- W1994438467 hasConceptScore W1994438467C136119220 @default.
- W1994438467 hasConceptScore W1994438467C138885662 @default.
- W1994438467 hasConceptScore W1994438467C154945302 @default.
- W1994438467 hasConceptScore W1994438467C189950617 @default.
- W1994438467 hasConceptScore W1994438467C199360897 @default.
- W1994438467 hasConceptScore W1994438467C202444582 @default.
- W1994438467 hasConceptScore W1994438467C2775924081 @default.
- W1994438467 hasConceptScore W1994438467C28826006 @default.
- W1994438467 hasConceptScore W1994438467C32848918 @default.
- W1994438467 hasConceptScore W1994438467C33923547 @default.
- W1994438467 hasConceptScore W1994438467C36299963 @default.
- W1994438467 hasConceptScore W1994438467C41008148 @default.
- W1994438467 hasConceptScore W1994438467C45374587 @default.
- W1994438467 hasConceptScore W1994438467C62520636 @default.
- W1994438467 hasConceptScore W1994438467C80444323 @default.
- W1994438467 hasConceptScore W1994438467C92991967 @default.
- W1994438467 hasLocation W19944384671 @default.
- W1994438467 hasOpenAccess W1994438467 @default.
- W1994438467 hasPrimaryLocation W19944384671 @default.
- W1994438467 hasRelatedWork W1994438467 @default.
- W1994438467 hasRelatedWork W2026574913 @default.
- W1994438467 hasRelatedWork W2098114232 @default.
- W1994438467 hasRelatedWork W2995318052 @default.
- W1994438467 hasRelatedWork W3163503072 @default.
- W1994438467 hasRelatedWork W3181593973 @default.
- W1994438467 hasRelatedWork W419845083 @default.
- W1994438467 hasRelatedWork W4212809713 @default.
- W1994438467 hasRelatedWork W4287993557 @default.
- W1994438467 hasRelatedWork W4301747687 @default.
- W1994438467 isParatext "false" @default.
- W1994438467 isRetracted "false" @default.
- W1994438467 magId "1994438467" @default.
- W1994438467 workType "article" @default.