FRINK Linked Data Fragments server

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

• W4315605898 endingPage "832" @default.
• W4315605898 startingPage "806" @default.
• W4315605898 abstract "We introduce a new noninterference policy to capture the class of functions computable in polynomial time on an object-oriented programming language. This policy makes a clear separation between the standard noninterference techniques for the control flow and the layering properties required to ensure that each “security” level preserves polynomial time soundness, and is thus very powerful as for the class of programs it can capture. This new characterization is a proper extension of existing tractable characterizations of polynomial time based on safe recursion. Despite the fact that this noninterference policy is Π 1 0 -complete, we show that it can be instantiated to some decidable and conservative instance using shape analysis techniques." @default.
• W4315605898 created "2023-01-12" @default.
• W4315605898 creator A5051353259 @default.
• W4315605898 creator A5079538761 @default.
• W4315605898 date "2023-01-09" @default.
• W4315605898 modified "2023-10-09" @default.
• W4315605898 title "A General Noninterference Policy for Polynomial Time" @default.
• W4315605898 cites W1518533182 @default.
• W4315605898 cites W1567888042 @default.
• W4315605898 cites W1595372275 @default.
• W4315605898 cites W196419179 @default.
• W4315605898 cites W1969548989 @default.
• W4315605898 cites W1977764760 @default.
• W4315605898 cites W1981273171 @default.
• W4315605898 cites W1986952332 @default.
• W4315605898 cites W1991837261 @default.
• W4315605898 cites W2008609084 @default.
• W4315605898 cites W2009621880 @default.
• W4315605898 cites W2010059824 @default.
• W4315605898 cites W2013132887 @default.
• W4315605898 cites W2016017569 @default.
• W4315605898 cites W2029785386 @default.
• W4315605898 cites W2057183321 @default.
• W4315605898 cites W2069792094 @default.
• W4315605898 cites W2072858236 @default.
• W4315605898 cites W2080914957 @default.
• W4315605898 cites W2091581695 @default.
• W4315605898 cites W2096339817 @default.
• W4315605898 cites W2105438076 @default.
• W4315605898 cites W2122049982 @default.
• W4315605898 cites W2128968863 @default.
• W4315605898 cites W2136242294 @default.
• W4315605898 cites W2136296832 @default.
• W4315605898 cites W2138657070 @default.
• W4315605898 cites W2150174204 @default.
• W4315605898 cites W2159279400 @default.
• W4315605898 cites W2171496589 @default.
• W4315605898 cites W22044255 @default.
• W4315605898 cites W2211325406 @default.
• W4315605898 cites W2343759067 @default.
• W4315605898 cites W2481795204 @default.
• W4315605898 cites W2951036860 @default.
• W4315605898 cites W2964137868 @default.
• W4315605898 cites W3022332613 @default.
• W4315605898 cites W3129914072 @default.
• W4315605898 doi "https://doi.org/10.1145/3571221" @default.
• W4315605898 hasPublicationYear "2023" @default.
• W4315605898 type Work @default.
• W4315605898 citedByCount "0" @default.
• W4315605898 crossrefType "journal-article" @default.
• W4315605898 hasAuthorship W4315605898A5051353259 @default.
• W4315605898 hasAuthorship W4315605898A5079538761 @default.
• W4315605898 hasBestOaLocation W43156058981 @default.
• W4315605898 hasConcept C11413529 @default.
• W4315605898 hasConcept C134306372 @default.
• W4315605898 hasConcept C153269930 @default.
• W4315605898 hasConcept C154945302 @default.
• W4315605898 hasConcept C168773036 @default.
• W4315605898 hasConcept C171250308 @default.
• W4315605898 hasConcept C192562407 @default.
• W4315605898 hasConcept C199360897 @default.
• W4315605898 hasConcept C2777212361 @default.
• W4315605898 hasConcept C2778029271 @default.
• W4315605898 hasConcept C2780841128 @default.
• W4315605898 hasConcept C311688 @default.
• W4315605898 hasConcept C33923547 @default.
• W4315605898 hasConcept C39920170 @default.
• W4315605898 hasConcept C41008148 @default.
• W4315605898 hasConcept C80444323 @default.
• W4315605898 hasConcept C90119067 @default.
• W4315605898 hasConceptScore W4315605898C11413529 @default.
• W4315605898 hasConceptScore W4315605898C134306372 @default.
• W4315605898 hasConceptScore W4315605898C153269930 @default.
• W4315605898 hasConceptScore W4315605898C154945302 @default.
• W4315605898 hasConceptScore W4315605898C168773036 @default.
• W4315605898 hasConceptScore W4315605898C171250308 @default.
• W4315605898 hasConceptScore W4315605898C192562407 @default.
• W4315605898 hasConceptScore W4315605898C199360897 @default.
• W4315605898 hasConceptScore W4315605898C2777212361 @default.
• W4315605898 hasConceptScore W4315605898C2778029271 @default.
• W4315605898 hasConceptScore W4315605898C2780841128 @default.
• W4315605898 hasConceptScore W4315605898C311688 @default.
• W4315605898 hasConceptScore W4315605898C33923547 @default.
• W4315605898 hasConceptScore W4315605898C39920170 @default.
• W4315605898 hasConceptScore W4315605898C41008148 @default.
• W4315605898 hasConceptScore W4315605898C80444323 @default.
• W4315605898 hasConceptScore W4315605898C90119067 @default.
• W4315605898 hasIssue "POPL" @default.
• W4315605898 hasLocation W43156058981 @default.
• W4315605898 hasOpenAccess W4315605898 @default.
• W4315605898 hasPrimaryLocation W43156058981 @default.
• W4315605898 hasRelatedWork W1981795987 @default.
• W4315605898 hasRelatedWork W2080575293 @default.
• W4315605898 hasRelatedWork W2142224267 @default.
• W4315605898 hasRelatedWork W2147357772 @default.
• W4315605898 hasRelatedWork W2160037207 @default.
• W4315605898 hasRelatedWork W2578183774 @default.
• W4315605898 hasRelatedWork W2950187428 @default.

• next