Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955281181> ?p ?o ?g. }
- W2955281181 endingPage "319" @default.
- W2955281181 startingPage "307" @default.
- W2955281181 abstract "We study a security property for processes in dynamic contexts, i.e., contexts that can be reconfigured at run-time. The security property that we propose in this paper, named Persistent BNDC, is such that a process is secure when every state reachable from it satisfies a basicNon-Interference property. We define a suitable bisimulation based equivalence relation among processes, that allows us to express the new property as a single equivalence check, thus avoiding the universal quantifications over all the reachable states (required by Persistent BNDC) and over all the possible hostile environments (implicit in the basic Non-Interference property we adopt). We show that the novel security property is compositional and we discusshow it can be efficiently checked." @default.
- W2955281181 created "2019-07-12" @default.
- W2955281181 creator A5015760641 @default.
- W2955281181 creator A5056869421 @default.
- W2955281181 date "2002-06-24" @default.
- W2955281181 modified "2023-09-26" @default.
- W2955281181 title "Information Flow Security in Dynamic Contexts" @default.
- W2955281181 cites W1497022621 @default.
- W2955281181 cites W1503973138 @default.
- W2955281181 cites W1513989276 @default.
- W2955281181 cites W1523766116 @default.
- W2955281181 cites W1528878926 @default.
- W2955281181 cites W1554129301 @default.
- W2955281181 cites W1584984507 @default.
- W2955281181 cites W1600537467 @default.
- W2955281181 cites W1606544643 @default.
- W2955281181 cites W1617766523 @default.
- W2955281181 cites W162526411 @default.
- W2955281181 cites W1755813429 @default.
- W2955281181 cites W1940060540 @default.
- W2955281181 cites W1961998804 @default.
- W2955281181 cites W1977764760 @default.
- W2955281181 cites W1991354622 @default.
- W2955281181 cites W1991895580 @default.
- W2955281181 cites W2000752551 @default.
- W2955281181 cites W2004048608 @default.
- W2955281181 cites W2021473546 @default.
- W2955281181 cites W2025280888 @default.
- W2955281181 cites W2052539228 @default.
- W2955281181 cites W2057503672 @default.
- W2955281181 cites W2061637199 @default.
- W2955281181 cites W2064964990 @default.
- W2955281181 cites W2068361557 @default.
- W2955281181 cites W2071152819 @default.
- W2955281181 cites W2074877666 @default.
- W2955281181 cites W2096094850 @default.
- W2955281181 cites W2098451214 @default.
- W2955281181 cites W2098820900 @default.
- W2955281181 cites W2100019646 @default.
- W2955281181 cites W2101827827 @default.
- W2955281181 cites W2105750191 @default.
- W2955281181 cites W2106570741 @default.
- W2955281181 cites W2114497379 @default.
- W2955281181 cites W2117320004 @default.
- W2955281181 cites W2119076670 @default.
- W2955281181 cites W2119275622 @default.
- W2955281181 cites W2122049982 @default.
- W2955281181 cites W2123171822 @default.
- W2955281181 cites W2124251840 @default.
- W2955281181 cites W2131093318 @default.
- W2955281181 cites W2133147428 @default.
- W2955281181 cites W2136898254 @default.
- W2955281181 cites W2150517342 @default.
- W2955281181 cites W2158196184 @default.
- W2955281181 cites W2168682577 @default.
- W2955281181 cites W2168686464 @default.
- W2955281181 cites W2170018380 @default.
- W2955281181 cites W2173638604 @default.
- W2955281181 cites W2911711976 @default.
- W2955281181 cites W2912002091 @default.
- W2955281181 cites W34782372 @default.
- W2955281181 cites W45492218 @default.
- W2955281181 cites W2737563519 @default.
- W2955281181 hasPublicationYear "2002" @default.
- W2955281181 type Work @default.
- W2955281181 sameAs 2955281181 @default.
- W2955281181 citedByCount "20" @default.
- W2955281181 countsByYear W29552811812012 @default.
- W2955281181 countsByYear W29552811812014 @default.
- W2955281181 countsByYear W29552811812015 @default.
- W2955281181 crossrefType "proceedings-article" @default.
- W2955281181 hasAuthorship W2955281181A5015760641 @default.
- W2955281181 hasAuthorship W2955281181A5056869421 @default.
- W2955281181 hasConcept C111472728 @default.
- W2955281181 hasConcept C111919701 @default.
- W2955281181 hasConcept C11413529 @default.
- W2955281181 hasConcept C118615104 @default.
- W2955281181 hasConcept C124101348 @default.
- W2955281181 hasConcept C135315306 @default.
- W2955281181 hasConcept C138885662 @default.
- W2955281181 hasConcept C156103551 @default.
- W2955281181 hasConcept C161771561 @default.
- W2955281181 hasConcept C189950617 @default.
- W2955281181 hasConcept C25343380 @default.
- W2955281181 hasConcept C2779136372 @default.
- W2955281181 hasConcept C2780069185 @default.
- W2955281181 hasConcept C33923547 @default.
- W2955281181 hasConcept C38652104 @default.
- W2955281181 hasConcept C41008148 @default.
- W2955281181 hasConcept C41895202 @default.
- W2955281181 hasConcept C48103436 @default.
- W2955281181 hasConcept C80444323 @default.
- W2955281181 hasConcept C98045186 @default.
- W2955281181 hasConceptScore W2955281181C111472728 @default.
- W2955281181 hasConceptScore W2955281181C111919701 @default.
- W2955281181 hasConceptScore W2955281181C11413529 @default.
- W2955281181 hasConceptScore W2955281181C118615104 @default.
- W2955281181 hasConceptScore W2955281181C124101348 @default.