Matches in SemOpenAlex for { <https://semopenalex.org/work/W1777875894> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1777875894 endingPage "239" @default.
- W1777875894 startingPage "225" @default.
- W1777875894 abstract "Synchronisation is fundamental to concurrent programs. This paper investigates the security of information flow in multithreaded programs in the presence of synchronisation. We give a small-step operational semantics for a simple shared-memory multi-threaded language with synchronisation, and present a compositional timing-sensitive bisimulation-based confidentiality specification. We propose a type-based analysis improving on previous approaches to reject potentially insecure programs." @default.
- W1777875894 created "2016-06-24" @default.
- W1777875894 creator A5070340953 @default.
- W1777875894 date "2001-01-01" @default.
- W1777875894 modified "2023-09-29" @default.
- W1777875894 title "The Impact of Synchronisation on Secure Information Flow in Concurrent Programs" @default.
- W1777875894 cites W1507045691 @default.
- W1777875894 cites W1519566437 @default.
- W1777875894 cites W1789713128 @default.
- W1777875894 cites W1973641744 @default.
- W1777875894 cites W1990048025 @default.
- W1777875894 cites W1993302007 @default.
- W1777875894 cites W1997775274 @default.
- W1777875894 cites W2016017569 @default.
- W1777875894 cites W2054696368 @default.
- W1777875894 cites W2057503672 @default.
- W1777875894 cites W2067012475 @default.
- W1777875894 cites W2094873755 @default.
- W1777875894 cites W2129278597 @default.
- W1777875894 cites W2168686464 @default.
- W1777875894 cites W2173102238 @default.
- W1777875894 cites W2202040224 @default.
- W1777875894 cites W4238078891 @default.
- W1777875894 doi "https://doi.org/10.1007/3-540-45575-2_22" @default.
- W1777875894 hasPublicationYear "2001" @default.
- W1777875894 type Work @default.
- W1777875894 sameAs 1777875894 @default.
- W1777875894 citedByCount "39" @default.
- W1777875894 countsByYear W17778758942012 @default.
- W1777875894 countsByYear W17778758942013 @default.
- W1777875894 countsByYear W17778758942014 @default.
- W1777875894 countsByYear W17778758942015 @default.
- W1777875894 countsByYear W17778758942018 @default.
- W1777875894 countsByYear W17778758942019 @default.
- W1777875894 countsByYear W17778758942020 @default.
- W1777875894 crossrefType "book-chapter" @default.
- W1777875894 hasAuthorship W1777875894A5070340953 @default.
- W1777875894 hasConcept C120314980 @default.
- W1777875894 hasConcept C138885662 @default.
- W1777875894 hasConcept C2524010 @default.
- W1777875894 hasConcept C2779136372 @default.
- W1777875894 hasConcept C33923547 @default.
- W1777875894 hasConcept C38349280 @default.
- W1777875894 hasConcept C38652104 @default.
- W1777875894 hasConcept C41008148 @default.
- W1777875894 hasConcept C41895202 @default.
- W1777875894 hasConcept C489000 @default.
- W1777875894 hasConcept C77088390 @default.
- W1777875894 hasConceptScore W1777875894C120314980 @default.
- W1777875894 hasConceptScore W1777875894C138885662 @default.
- W1777875894 hasConceptScore W1777875894C2524010 @default.
- W1777875894 hasConceptScore W1777875894C2779136372 @default.
- W1777875894 hasConceptScore W1777875894C33923547 @default.
- W1777875894 hasConceptScore W1777875894C38349280 @default.
- W1777875894 hasConceptScore W1777875894C38652104 @default.
- W1777875894 hasConceptScore W1777875894C41008148 @default.
- W1777875894 hasConceptScore W1777875894C41895202 @default.
- W1777875894 hasConceptScore W1777875894C489000 @default.
- W1777875894 hasConceptScore W1777875894C77088390 @default.
- W1777875894 hasLocation W17778758941 @default.
- W1777875894 hasOpenAccess W1777875894 @default.
- W1777875894 hasPrimaryLocation W17778758941 @default.
- W1777875894 hasRelatedWork W136900201 @default.
- W1777875894 hasRelatedWork W1584043719 @default.
- W1777875894 hasRelatedWork W2361697850 @default.
- W1777875894 hasRelatedWork W2375174984 @default.
- W1777875894 hasRelatedWork W2394344682 @default.
- W1777875894 hasRelatedWork W2530670869 @default.
- W1777875894 hasRelatedWork W2621960977 @default.
- W1777875894 hasRelatedWork W3016288678 @default.
- W1777875894 hasRelatedWork W4235279953 @default.
- W1777875894 hasRelatedWork W71711846 @default.
- W1777875894 isParatext "false" @default.
- W1777875894 isRetracted "false" @default.
- W1777875894 magId "1777875894" @default.
- W1777875894 workType "book-chapter" @default.