Matches in SemOpenAlex for { <https://semopenalex.org/work/W3081530771> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3081530771 endingPage "39" @default.
- W3081530771 startingPage "31" @default.
- W3081530771 abstract "This paper presents an analysis of noninterference specifications used in a range of formally verified systems. The main findings are that these systems use distinct specifications and that they often employ small variations, both complicating their security implications. We categorize these specifications and discuss their trade-offs for reasoning about information flows in systems." @default.
- W3081530771 created "2020-09-08" @default.
- W3081530771 creator A5014548534 @default.
- W3081530771 creator A5055964348 @default.
- W3081530771 creator A5069494158 @default.
- W3081530771 creator A5088791029 @default.
- W3081530771 creator A5088824251 @default.
- W3081530771 date "2020-08-31" @default.
- W3081530771 modified "2023-10-17" @default.
- W3081530771 title "Noninterference specifications for secure systems" @default.
- W3081530771 cites W140235344 @default.
- W3081530771 cites W1434079718 @default.
- W3081530771 cites W1581993637 @default.
- W3081530771 cites W1975091280 @default.
- W3081530771 cites W1977253628 @default.
- W3081530771 cites W1977764760 @default.
- W3081530771 cites W1988079752 @default.
- W3081530771 cites W2048500751 @default.
- W3081530771 cites W2094873755 @default.
- W3081530771 cites W2099137371 @default.
- W3081530771 cites W2117895828 @default.
- W3081530771 cites W2122049982 @default.
- W3081530771 cites W2122643307 @default.
- W3081530771 cites W2163347957 @default.
- W3081530771 cites W2762625979 @default.
- W3081530771 cites W2794674744 @default.
- W3081530771 cites W2898707257 @default.
- W3081530771 cites W2898893133 @default.
- W3081530771 cites W2974073952 @default.
- W3081530771 cites W3009776881 @default.
- W3081530771 cites W3043810980 @default.
- W3081530771 cites W4237179759 @default.
- W3081530771 cites W4237990977 @default.
- W3081530771 cites W4246472322 @default.
- W3081530771 cites W4252184193 @default.
- W3081530771 doi "https://doi.org/10.1145/3421473.3421478" @default.
- W3081530771 hasPublicationYear "2020" @default.
- W3081530771 type Work @default.
- W3081530771 sameAs 3081530771 @default.
- W3081530771 citedByCount "2" @default.
- W3081530771 countsByYear W30815307712021 @default.
- W3081530771 countsByYear W30815307712022 @default.
- W3081530771 crossrefType "journal-article" @default.
- W3081530771 hasAuthorship W3081530771A5014548534 @default.
- W3081530771 hasAuthorship W3081530771A5055964348 @default.
- W3081530771 hasAuthorship W3081530771A5069494158 @default.
- W3081530771 hasAuthorship W3081530771A5088791029 @default.
- W3081530771 hasAuthorship W3081530771A5088824251 @default.
- W3081530771 hasConcept C115903868 @default.
- W3081530771 hasConcept C120314980 @default.
- W3081530771 hasConcept C154945302 @default.
- W3081530771 hasConcept C159985019 @default.
- W3081530771 hasConcept C192562407 @default.
- W3081530771 hasConcept C204323151 @default.
- W3081530771 hasConcept C41008148 @default.
- W3081530771 hasConcept C94124525 @default.
- W3081530771 hasConceptScore W3081530771C115903868 @default.
- W3081530771 hasConceptScore W3081530771C120314980 @default.
- W3081530771 hasConceptScore W3081530771C154945302 @default.
- W3081530771 hasConceptScore W3081530771C159985019 @default.
- W3081530771 hasConceptScore W3081530771C192562407 @default.
- W3081530771 hasConceptScore W3081530771C204323151 @default.
- W3081530771 hasConceptScore W3081530771C41008148 @default.
- W3081530771 hasConceptScore W3081530771C94124525 @default.
- W3081530771 hasIssue "1" @default.
- W3081530771 hasLocation W30815307711 @default.
- W3081530771 hasOpenAccess W3081530771 @default.
- W3081530771 hasPrimaryLocation W30815307711 @default.
- W3081530771 hasRelatedWork W1587227328 @default.
- W3081530771 hasRelatedWork W1596201972 @default.
- W3081530771 hasRelatedWork W1880774266 @default.
- W3081530771 hasRelatedWork W1967954938 @default.
- W3081530771 hasRelatedWork W2040397200 @default.
- W3081530771 hasRelatedWork W2160425906 @default.
- W3081530771 hasRelatedWork W2325924483 @default.
- W3081530771 hasRelatedWork W2365213443 @default.
- W3081530771 hasRelatedWork W2998813341 @default.
- W3081530771 hasRelatedWork W3013319096 @default.
- W3081530771 hasVolume "54" @default.
- W3081530771 isParatext "false" @default.
- W3081530771 isRetracted "false" @default.
- W3081530771 magId "3081530771" @default.
- W3081530771 workType "article" @default.