FRINK Linked Data Fragments server

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

• W1424213284 abstract "Controlling confidential information in concurrent systems is difficult, due to covert channels resulting from inter- action between threads. This problem is exacerbated if threads share resources at fine granularity. In this work, we propose a novel monitoring framework to enforce strong information security in concurrent programs. Our monitors are hybrid, combining dynamic and static program analysis to enforce security in a sound and rather precise fashion. In our framework, each thread is guarded by its own local monitor, and there is a single global monitor. We instantiate our monitoring framework to support rely-guarantee style reasoning about the use of shared resources, at the granularity of individual memory locations, and then specialize local monitors further to enforce flow-sensitive progress-sensitive information-flow control. Our local monitors exploit rely-guarantee-style reasoning about shared memory to achieve high precision. Soundness of rely- guarantee-style reasoning is guaranteed by all monitors coop- eratively. The global monitor is invoked only when threads synchronize, and so does not needlessly restrict concurrency. We prove that our hybrid monitoring approach enforces a knowledge- based progress-sensitive noninterference security condition. Keywords-Language-based security; information-flow control for concurrent systems; hybrid information-flow monitor." @default.
• W1424213284 created "2016-06-24" @default.
• W1424213284 creator A5023772821 @default.
• W1424213284 creator A5046383149 @default.
• W1424213284 creator A5089455414 @default.
• W1424213284 date "2015-01-01" @default.
• W1424213284 modified "2023-10-03" @default.
• W1424213284 title "Global and Local Monitors to Enforce Noninterference in Concurrent Programs" @default.
• W1424213284 cites W141971178 @default.
• W1424213284 cites W1511116625 @default.
• W1424213284 cites W1553622521 @default.
• W1424213284 cites W1579441649 @default.
• W1424213284 cites W1725973462 @default.
• W1424213284 cites W1777875894 @default.
• W1424213284 cites W1993302007 @default.
• W1424213284 cites W1997775274 @default.
• W1424213284 cites W2066195326 @default.
• W1424213284 cites W2072885133 @default.
• W1424213284 cites W2086234010 @default.
• W1424213284 cites W2097833793 @default.
• W1424213284 cites W2099878912 @default.
• W1424213284 cites W2100050463 @default.
• W1424213284 cites W2108887121 @default.
• W1424213284 cites W2110263582 @default.
• W1424213284 cites W2116647386 @default.
• W1424213284 cites W2122049982 @default.
• W1424213284 cites W2123858370 @default.
• W1424213284 cites W2126469755 @default.
• W1424213284 cites W2141126977 @default.
• W1424213284 cites W2145846275 @default.
• W1424213284 cites W2147380064 @default.
• W1424213284 cites W2149465027 @default.
• W1424213284 cites W2150174204 @default.
• W1424213284 cites W2151009878 @default.
• W1424213284 cites W2158126684 @default.
• W1424213284 cites W2162283517 @default.
• W1424213284 cites W2165078378 @default.
• W1424213284 cites W2166542433 @default.
• W1424213284 cites W2168686464 @default.
• W1424213284 cites W2168753065 @default.
• W1424213284 cites W2171690178 @default.
• W1424213284 cites W2202040224 @default.
• W1424213284 hasPublicationYear "2015" @default.
• W1424213284 type Work @default.
• W1424213284 sameAs 1424213284 @default.
• W1424213284 citedByCount "1" @default.
• W1424213284 countsByYear W14242132842015 @default.
• W1424213284 crossrefType "journal-article" @default.
• W1424213284 hasAuthorship W1424213284A5023772821 @default.
• W1424213284 hasAuthorship W1424213284A5046383149 @default.
• W1424213284 hasAuthorship W1424213284A5089455414 @default.
• W1424213284 hasConcept C120314980 @default.
• W1424213284 hasConcept C138101251 @default.
• W1424213284 hasConcept C138885662 @default.
• W1424213284 hasConcept C160191386 @default.
• W1424213284 hasConcept C165696696 @default.
• W1424213284 hasConcept C177774035 @default.
• W1424213284 hasConcept C193702766 @default.
• W1424213284 hasConcept C199360897 @default.
• W1424213284 hasConcept C2779136372 @default.
• W1424213284 hasConcept C38652104 @default.
• W1424213284 hasConcept C39920170 @default.
• W1424213284 hasConcept C41008148 @default.
• W1424213284 hasConcept C41895202 @default.
• W1424213284 hasConcept C527821871 @default.
• W1424213284 hasConcept C75949130 @default.
• W1424213284 hasConcept C84511453 @default.
• W1424213284 hasConceptScore W1424213284C120314980 @default.
• W1424213284 hasConceptScore W1424213284C138101251 @default.
• W1424213284 hasConceptScore W1424213284C138885662 @default.
• W1424213284 hasConceptScore W1424213284C160191386 @default.
• W1424213284 hasConceptScore W1424213284C165696696 @default.
• W1424213284 hasConceptScore W1424213284C177774035 @default.
• W1424213284 hasConceptScore W1424213284C193702766 @default.
• W1424213284 hasConceptScore W1424213284C199360897 @default.
• W1424213284 hasConceptScore W1424213284C2779136372 @default.
• W1424213284 hasConceptScore W1424213284C38652104 @default.
• W1424213284 hasConceptScore W1424213284C39920170 @default.
• W1424213284 hasConceptScore W1424213284C41008148 @default.
• W1424213284 hasConceptScore W1424213284C41895202 @default.
• W1424213284 hasConceptScore W1424213284C527821871 @default.
• W1424213284 hasConceptScore W1424213284C75949130 @default.
• W1424213284 hasConceptScore W1424213284C84511453 @default.
• W1424213284 hasOpenAccess W1424213284 @default.
• W1424213284 hasRelatedWork W115140159 @default.
• W1424213284 hasRelatedWork W1685159383 @default.
• W1424213284 hasRelatedWork W1804029911 @default.
• W1424213284 hasRelatedWork W1916509416 @default.
• W1424213284 hasRelatedWork W1997669273 @default.
• W1424213284 hasRelatedWork W2006342423 @default.
• W1424213284 hasRelatedWork W2048719905 @default.
• W1424213284 hasRelatedWork W2066842422 @default.
• W1424213284 hasRelatedWork W2089780965 @default.
• W1424213284 hasRelatedWork W2305498188 @default.
• W1424213284 hasRelatedWork W2363789038 @default.
• W1424213284 hasRelatedWork W2411401270 @default.
• W1424213284 hasRelatedWork W2485132252 @default.
• W1424213284 hasRelatedWork W2527879420 @default.
• W1424213284 hasRelatedWork W2759390753 @default.
• W1424213284 hasRelatedWork W2942786113 @default.

• next