Matches in SemOpenAlex for { <https://semopenalex.org/work/W2658567200> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2658567200 abstract "Abstract Several program verification techniques assist in showing that software adheres to the required security policies. Such policies may be sensitive to the flow of execution and the verification may be supported by combinations of type systems and Hoare logics. However, this requires user assistance and to obtain full automation we shall explore the over-approximating nature of static analysis. We demonstrate that the use of atomistic Galois insertions constitutes a stable framework in which to obtain sound and fully automatic enforcement of flow sensitive integrity. The framework is illustrated on a concurrent language with local storage and polyadic synchronous communication." @default.
- W2658567200 created "2017-06-30" @default.
- W2658567200 creator A5012948241 @default.
- W2658567200 creator A5089639449 @default.
- W2658567200 date "2017-12-01" @default.
- W2658567200 modified "2023-09-25" @default.
- W2658567200 title "Atomistic Galois insertions for flow sensitive integrity" @default.
- W2658567200 cites W1586448612 @default.
- W2658567200 cites W1611084195 @default.
- W2658567200 cites W1677369896 @default.
- W2658567200 cites W1699577049 @default.
- W2658567200 cites W1966354044 @default.
- W2658567200 cites W1980685577 @default.
- W2658567200 cites W1993302007 @default.
- W2658567200 cites W2014764321 @default.
- W2658567200 cites W2015983833 @default.
- W2658567200 cites W2043100293 @default.
- W2658567200 cites W2067555612 @default.
- W2658567200 cites W2071748540 @default.
- W2658567200 cites W2075419979 @default.
- W2658567200 cites W2076289594 @default.
- W2658567200 cites W2088472812 @default.
- W2658567200 cites W2111619838 @default.
- W2658567200 cites W2120191680 @default.
- W2658567200 cites W2129278597 @default.
- W2658567200 cites W2133808322 @default.
- W2658567200 cites W2134296086 @default.
- W2658567200 cites W2136296832 @default.
- W2658567200 cites W2150174204 @default.
- W2658567200 cites W2154564703 @default.
- W2658567200 cites W2157828581 @default.
- W2658567200 cites W2159613309 @default.
- W2658567200 cites W2294311096 @default.
- W2658567200 cites W2295217343 @default.
- W2658567200 cites W2317470496 @default.
- W2658567200 cites W2464481483 @default.
- W2658567200 cites W2522646173 @default.
- W2658567200 cites W2112214363 @default.
- W2658567200 doi "https://doi.org/10.1016/j.cl.2017.06.004" @default.
- W2658567200 hasPublicationYear "2017" @default.
- W2658567200 type Work @default.
- W2658567200 sameAs 2658567200 @default.
- W2658567200 citedByCount "0" @default.
- W2658567200 crossrefType "journal-article" @default.
- W2658567200 hasAuthorship W2658567200A5012948241 @default.
- W2658567200 hasAuthorship W2658567200A5089639449 @default.
- W2658567200 hasConcept C115901376 @default.
- W2658567200 hasConcept C115903868 @default.
- W2658567200 hasConcept C120314980 @default.
- W2658567200 hasConcept C127413603 @default.
- W2658567200 hasConcept C149635348 @default.
- W2658567200 hasConcept C17744445 @default.
- W2658567200 hasConcept C199360897 @default.
- W2658567200 hasConcept C199539241 @default.
- W2658567200 hasConcept C2524010 @default.
- W2658567200 hasConcept C2777904410 @default.
- W2658567200 hasConcept C2779777834 @default.
- W2658567200 hasConcept C33923547 @default.
- W2658567200 hasConcept C38349280 @default.
- W2658567200 hasConcept C41008148 @default.
- W2658567200 hasConcept C78519656 @default.
- W2658567200 hasConcept C97686452 @default.
- W2658567200 hasConceptScore W2658567200C115901376 @default.
- W2658567200 hasConceptScore W2658567200C115903868 @default.
- W2658567200 hasConceptScore W2658567200C120314980 @default.
- W2658567200 hasConceptScore W2658567200C127413603 @default.
- W2658567200 hasConceptScore W2658567200C149635348 @default.
- W2658567200 hasConceptScore W2658567200C17744445 @default.
- W2658567200 hasConceptScore W2658567200C199360897 @default.
- W2658567200 hasConceptScore W2658567200C199539241 @default.
- W2658567200 hasConceptScore W2658567200C2524010 @default.
- W2658567200 hasConceptScore W2658567200C2777904410 @default.
- W2658567200 hasConceptScore W2658567200C2779777834 @default.
- W2658567200 hasConceptScore W2658567200C33923547 @default.
- W2658567200 hasConceptScore W2658567200C38349280 @default.
- W2658567200 hasConceptScore W2658567200C41008148 @default.
- W2658567200 hasConceptScore W2658567200C78519656 @default.
- W2658567200 hasConceptScore W2658567200C97686452 @default.
- W2658567200 hasLocation W26585672001 @default.
- W2658567200 hasOpenAccess W2658567200 @default.
- W2658567200 hasPrimaryLocation W26585672001 @default.
- W2658567200 isParatext "false" @default.
- W2658567200 isRetracted "false" @default.
- W2658567200 magId "2658567200" @default.
- W2658567200 workType "article" @default.