FRINK Linked Data Fragments server

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

• W2039304128 abstract "We address the problem of program verification for information flow policies by means of symbolic execution and model checking. Noninterference-like security policies are formalized using epistemic logic. We show how the policies can be accurately verified using a combination of concolic testing and SMT solving. As we demonstrate, many scenarios considered tricky in the literature can be solved precisely using the proposed approach. This is confirmed by experiments performed with ENCOVER, a tool based on Java Path Finder and Z3, which we have developed for epistemic noninterference concolic verification." @default.
• W2039304128 created "2016-06-24" @default.
• W2039304128 creator A5017765915 @default.
• W2039304128 creator A5023822955 @default.
• W2039304128 creator A5073362414 @default.
• W2039304128 date "2012-06-01" @default.
• W2039304128 modified "2023-10-16" @default.
• W2039304128 title "ENCoVer: Symbolic Exploration for Information Flow Security" @default.
• W2039304128 cites W1480909796 @default.
• W2039304128 cites W1488219274 @default.
• W2039304128 cites W1720848645 @default.
• W2039304128 cites W1977764760 @default.
• W2039304128 cites W1993302007 @default.
• W2039304128 cites W2009489720 @default.
• W2039304128 cites W2047694629 @default.
• W2039304128 cites W2067012475 @default.
• W2039304128 cites W2097365905 @default.
• W2039304128 cites W2097833793 @default.
• W2039304128 cites W2101512909 @default.
• W2039304128 cites W2118847476 @default.
• W2039304128 cites W2122049982 @default.
• W2039304128 cites W2126469755 @default.
• W2039304128 cites W2128610788 @default.
• W2039304128 cites W2131916295 @default.
• W2039304128 cites W2149465027 @default.
• W2039304128 cites W2150174204 @default.
• W2039304128 cites W2155539595 @default.
• W2039304128 cites W2156421816 @default.
• W2039304128 cites W2162755110 @default.
• W2039304128 cites W2165078378 @default.
• W2039304128 cites W2170656359 @default.
• W2039304128 cites W2171480813 @default.
• W2039304128 cites W2296605318 @default.
• W2039304128 cites W2617606417 @default.
• W2039304128 cites W4234924236 @default.
• W2039304128 cites W4237492309 @default.
• W2039304128 cites W4242057943 @default.
• W2039304128 doi "https://doi.org/10.1109/csf.2012.24" @default.
• W2039304128 hasPublicationYear "2012" @default.
• W2039304128 type Work @default.
• W2039304128 sameAs 2039304128 @default.
• W2039304128 citedByCount "23" @default.
• W2039304128 countsByYear W20393041282013 @default.
• W2039304128 countsByYear W20393041282014 @default.
• W2039304128 countsByYear W20393041282015 @default.
• W2039304128 countsByYear W20393041282016 @default.
• W2039304128 countsByYear W20393041282017 @default.
• W2039304128 countsByYear W20393041282019 @default.
• W2039304128 countsByYear W20393041282021 @default.
• W2039304128 countsByYear W20393041282022 @default.
• W2039304128 countsByYear W20393041282023 @default.
• W2039304128 crossrefType "proceedings-article" @default.
• W2039304128 hasAuthorship W2039304128A5017765915 @default.
• W2039304128 hasAuthorship W2039304128A5023822955 @default.
• W2039304128 hasAuthorship W2039304128A5073362414 @default.
• W2039304128 hasConcept C110251889 @default.
• W2039304128 hasConcept C111498074 @default.
• W2039304128 hasConcept C11171543 @default.
• W2039304128 hasConcept C11219265 @default.
• W2039304128 hasConcept C115903868 @default.
• W2039304128 hasConcept C138885662 @default.
• W2039304128 hasConcept C15744967 @default.
• W2039304128 hasConcept C199360897 @default.
• W2039304128 hasConcept C23123167 @default.
• W2039304128 hasConcept C2776095079 @default.
• W2039304128 hasConcept C2777735758 @default.
• W2039304128 hasConcept C2777904410 @default.
• W2039304128 hasConcept C2779136372 @default.
• W2039304128 hasConcept C2779639559 @default.
• W2039304128 hasConcept C41008148 @default.
• W2039304128 hasConcept C41895202 @default.
• W2039304128 hasConcept C548217200 @default.
• W2039304128 hasConcept C80444323 @default.
• W2039304128 hasConcept C98183937 @default.
• W2039304128 hasConceptScore W2039304128C110251889 @default.
• W2039304128 hasConceptScore W2039304128C111498074 @default.
• W2039304128 hasConceptScore W2039304128C11171543 @default.
• W2039304128 hasConceptScore W2039304128C11219265 @default.
• W2039304128 hasConceptScore W2039304128C115903868 @default.
• W2039304128 hasConceptScore W2039304128C138885662 @default.
• W2039304128 hasConceptScore W2039304128C15744967 @default.
• W2039304128 hasConceptScore W2039304128C199360897 @default.
• W2039304128 hasConceptScore W2039304128C23123167 @default.
• W2039304128 hasConceptScore W2039304128C2776095079 @default.
• W2039304128 hasConceptScore W2039304128C2777735758 @default.
• W2039304128 hasConceptScore W2039304128C2777904410 @default.
• W2039304128 hasConceptScore W2039304128C2779136372 @default.
• W2039304128 hasConceptScore W2039304128C2779639559 @default.
• W2039304128 hasConceptScore W2039304128C41008148 @default.
• W2039304128 hasConceptScore W2039304128C41895202 @default.
• W2039304128 hasConceptScore W2039304128C548217200 @default.
• W2039304128 hasConceptScore W2039304128C80444323 @default.
• W2039304128 hasConceptScore W2039304128C98183937 @default.
• W2039304128 hasLocation W20393041281 @default.
• W2039304128 hasOpenAccess W2039304128 @default.
• W2039304128 hasPrimaryLocation W20393041281 @default.
• W2039304128 hasRelatedWork W1552900908 @default.
• W2039304128 hasRelatedWork W2039304128 @default.
• W2039304128 hasRelatedWork W2047694629 @default.
• W2039304128 hasRelatedWork W2091409764 @default.

• next