FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024014242> ?p ?o ?g. }

• W2024014242 endingPage "258" @default.
• W2024014242 startingPage "231" @default.
• W2024014242 abstract "We study bisimulation-based information flow security properties which are persistent , in the sense that if a system is secure then all of its reachable states are secure too. We show that such properties can be characterized in terms of bisimulation-like equivalence relations, between the full system and the system prevented from performing confidential actions. Moreover, we provide a characterization of such properties in terms of unwinding conditions which demand properties of individual actions. These two different characterizations naturally lead to efficient methods for the verification and construction of secure systems. We also prove several compositionality results, that allow us to check the security of a system by only verifying the security of its subcomponents." @default.
• W2024014242 created "2016-06-24" @default.
• W2024014242 creator A5015760641 @default.
• W2024014242 creator A5027009916 @default.
• W2024014242 creator A5041306556 @default.
• W2024014242 creator A5056869421 @default.
• W2024014242 date "2004-10-01" @default.
• W2024014242 modified "2023-09-24" @default.
• W2024014242 title "Verifying persistent security properties" @default.
• W2024014242 cites W1544789779 @default.
• W2024014242 cites W1600537467 @default.
• W2024014242 cites W1824487558 @default.
• W2024014242 cites W1940060540 @default.
• W2024014242 cites W1973641744 @default.
• W2024014242 cites W1977764760 @default.
• W2024014242 cites W1991972246 @default.
• W2024014242 cites W2000752551 @default.
• W2024014242 cites W2015640848 @default.
• W2024014242 cites W2025280888 @default.
• W2024014242 cites W2068361557 @default.
• W2024014242 cites W2071152819 @default.
• W2024014242 cites W2080063509 @default.
• W2024014242 cites W2080914957 @default.
• W2024014242 cites W2097744609 @default.
• W2024014242 cites W2098451214 @default.
• W2024014242 cites W2098820900 @default.
• W2024014242 cites W2100019646 @default.
• W2024014242 cites W2115295103 @default.
• W2024014242 cites W2116866980 @default.
• W2024014242 cites W2117320004 @default.
• W2024014242 cites W2119076670 @default.
• W2024014242 cites W2119275622 @default.
• W2024014242 cites W2126302952 @default.
• W2024014242 cites W2131093318 @default.
• W2024014242 cites W2133147428 @default.
• W2024014242 cites W2141757459 @default.
• W2024014242 cites W2148586346 @default.
• W2024014242 cites W2153703803 @default.
• W2024014242 cites W2157014526 @default.
• W2024014242 cites W2158196184 @default.
• W2024014242 cites W2159897734 @default.
• W2024014242 cites W2170018380 @default.
• W2024014242 doi "https://doi.org/10.1016/j.cl.2004.02.005" @default.
• W2024014242 hasPublicationYear "2004" @default.
• W2024014242 type Work @default.
• W2024014242 sameAs 2024014242 @default.
• W2024014242 citedByCount "21" @default.
• W2024014242 countsByYear W20240142422012 @default.
• W2024014242 countsByYear W20240142422015 @default.
• W2024014242 countsByYear W20240142422016 @default.
• W2024014242 countsByYear W20240142422018 @default.
• W2024014242 countsByYear W20240142422022 @default.
• W2024014242 crossrefType "journal-article" @default.
• W2024014242 hasAuthorship W2024014242A5015760641 @default.
• W2024014242 hasAuthorship W2024014242A5027009916 @default.
• W2024014242 hasAuthorship W2024014242A5041306556 @default.
• W2024014242 hasAuthorship W2024014242A5056869421 @default.
• W2024014242 hasConcept C118615104 @default.
• W2024014242 hasConcept C121375916 @default.
• W2024014242 hasConcept C121822524 @default.
• W2024014242 hasConcept C135315306 @default.
• W2024014242 hasConcept C138885662 @default.
• W2024014242 hasConcept C154945302 @default.
• W2024014242 hasConcept C171250308 @default.
• W2024014242 hasConcept C192562407 @default.
• W2024014242 hasConcept C2779136372 @default.
• W2024014242 hasConcept C2780069185 @default.
• W2024014242 hasConcept C2780841128 @default.
• W2024014242 hasConcept C33923547 @default.
• W2024014242 hasConcept C38652104 @default.
• W2024014242 hasConcept C41008148 @default.
• W2024014242 hasConcept C41895202 @default.
• W2024014242 hasConcept C71745522 @default.
• W2024014242 hasConcept C80444323 @default.
• W2024014242 hasConceptScore W2024014242C118615104 @default.
• W2024014242 hasConceptScore W2024014242C121375916 @default.
• W2024014242 hasConceptScore W2024014242C121822524 @default.
• W2024014242 hasConceptScore W2024014242C135315306 @default.
• W2024014242 hasConceptScore W2024014242C138885662 @default.
• W2024014242 hasConceptScore W2024014242C154945302 @default.
• W2024014242 hasConceptScore W2024014242C171250308 @default.
• W2024014242 hasConceptScore W2024014242C192562407 @default.
• W2024014242 hasConceptScore W2024014242C2779136372 @default.
• W2024014242 hasConceptScore W2024014242C2780069185 @default.
• W2024014242 hasConceptScore W2024014242C2780841128 @default.
• W2024014242 hasConceptScore W2024014242C33923547 @default.
• W2024014242 hasConceptScore W2024014242C38652104 @default.
• W2024014242 hasConceptScore W2024014242C41008148 @default.
• W2024014242 hasConceptScore W2024014242C41895202 @default.
• W2024014242 hasConceptScore W2024014242C71745522 @default.
• W2024014242 hasConceptScore W2024014242C80444323 @default.
• W2024014242 hasIssue "3-4" @default.
• W2024014242 hasLocation W20240142421 @default.
• W2024014242 hasOpenAccess W2024014242 @default.
• W2024014242 hasPrimaryLocation W20240142421 @default.
• W2024014242 hasRelatedWork W1543353050 @default.
• W2024014242 hasRelatedWork W1888841230 @default.
• W2024014242 hasRelatedWork W2024014242 @default.

• next