FRINK Linked Data Fragments server

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

• W2517913729 abstract "This paper introduces a novel runtime verification technique for a rich sub-class of Clarkson and Schneider's hyperproperties. The primary application of such properties is in expressing security policies (e.g., information flow) that cannot be expressed in trace-based specification languages (e.g., LTL). First, to incorporate syntactic means, we draw connections between safety and co-safety hyperproperties and the temporal logic HYPERLTL, which allows explicit quantification over multiple executions. We also define the notion of monitorability in HYPERLTL and identify classes of monitorable HYPERLTL formulas. Then, we introduce an algorithm for monitoring k-safety and co-k-safety hyperproperties expressed in HYPERLTL. Our technique is based on runtime formula progression as well as on-the-fly monitor synthesis across multiple executions. We analyze different performance aspects of our technique by conducting thorough experiments on monitoring security policies for information flow and observational determinism on a real-world location-based service dataset as well as synthetic trace sets." @default.
• W2517913729 created "2016-09-16" @default.
• W2517913729 creator A5008486466 @default.
• W2517913729 creator A5028301764 @default.
• W2517913729 date "2016-06-01" @default.
• W2517913729 modified "2023-10-17" @default.
• W2517913729 title "Runtime Verification of k-Safety Hyperproperties in HyperLTL" @default.
• W2517913729 cites W1213177963 @default.
• W2517913729 cites W1487038120 @default.
• W2517913729 cites W1508046772 @default.
• W2517913729 cites W1540883472 @default.
• W2517913729 cites W1552135236 @default.
• W2517913729 cites W1759455432 @default.
• W2517913729 cites W1866799138 @default.
• W2517913729 cites W1976773489 @default.
• W2517913729 cites W1977764760 @default.
• W2517913729 cites W2008332764 @default.
• W2517913729 cites W2010939995 @default.
• W2517913729 cites W2027769154 @default.
• W2517913729 cites W2027822753 @default.
• W2517913729 cites W2036910349 @default.
• W2517913729 cites W2060692877 @default.
• W2517913729 cites W2066195326 @default.
• W2517913729 cites W2067555612 @default.
• W2517913729 cites W2074935412 @default.
• W2517913729 cites W2104717300 @default.
• W2517913729 cites W2110012131 @default.
• W2517913729 cites W2115965729 @default.
• W2517913729 cites W2122049982 @default.
• W2517913729 cites W2123858370 @default.
• W2517913729 cites W2132544882 @default.
• W2517913729 cites W2133281166 @default.
• W2517913729 cites W2139799388 @default.
• W2517913729 cites W2142069143 @default.
• W2517913729 cites W2153155256 @default.
• W2517913729 cites W2158126684 @default.
• W2517913729 cites W2165304392 @default.
• W2517913729 cites W2914206182 @default.
• W2517913729 cites W2964335063 @default.
• W2517913729 cites W2997599371 @default.
• W2517913729 cites W4250728693 @default.
• W2517913729 doi "https://doi.org/10.1109/csf.2016.24" @default.
• W2517913729 hasPublicationYear "2016" @default.
• W2517913729 type Work @default.
• W2517913729 sameAs 2517913729 @default.
• W2517913729 citedByCount "47" @default.
• W2517913729 countsByYear W25179137292016 @default.
• W2517913729 countsByYear W25179137292017 @default.
• W2517913729 countsByYear W25179137292018 @default.
• W2517913729 countsByYear W25179137292019 @default.
• W2517913729 countsByYear W25179137292020 @default.
• W2517913729 countsByYear W25179137292021 @default.
• W2517913729 countsByYear W25179137292022 @default.
• W2517913729 countsByYear W25179137292023 @default.
• W2517913729 crossrefType "proceedings-article" @default.
• W2517913729 hasAuthorship W2517913729A5008486466 @default.
• W2517913729 hasAuthorship W2517913729A5028301764 @default.
• W2517913729 hasConcept C111498074 @default.
• W2517913729 hasConcept C120314980 @default.
• W2517913729 hasConcept C136264566 @default.
• W2517913729 hasConcept C138885662 @default.
• W2517913729 hasConcept C162324750 @default.
• W2517913729 hasConcept C199360897 @default.
• W2517913729 hasConcept C202973057 @default.
• W2517913729 hasConcept C25016198 @default.
• W2517913729 hasConcept C2779136372 @default.
• W2517913729 hasConcept C2780378061 @default.
• W2517913729 hasConcept C41008148 @default.
• W2517913729 hasConcept C41895202 @default.
• W2517913729 hasConcept C75291252 @default.
• W2517913729 hasConcept C80444323 @default.
• W2517913729 hasConceptScore W2517913729C111498074 @default.
• W2517913729 hasConceptScore W2517913729C120314980 @default.
• W2517913729 hasConceptScore W2517913729C136264566 @default.
• W2517913729 hasConceptScore W2517913729C138885662 @default.
• W2517913729 hasConceptScore W2517913729C162324750 @default.
• W2517913729 hasConceptScore W2517913729C199360897 @default.
• W2517913729 hasConceptScore W2517913729C202973057 @default.
• W2517913729 hasConceptScore W2517913729C25016198 @default.
• W2517913729 hasConceptScore W2517913729C2779136372 @default.
• W2517913729 hasConceptScore W2517913729C2780378061 @default.
• W2517913729 hasConceptScore W2517913729C41008148 @default.
• W2517913729 hasConceptScore W2517913729C41895202 @default.
• W2517913729 hasConceptScore W2517913729C75291252 @default.
• W2517913729 hasConceptScore W2517913729C80444323 @default.
• W2517913729 hasLocation W25179137291 @default.
• W2517913729 hasOpenAccess W2517913729 @default.
• W2517913729 hasPrimaryLocation W25179137291 @default.
• W2517913729 hasRelatedWork W150634083 @default.
• W2517913729 hasRelatedWork W1563456403 @default.
• W2517913729 hasRelatedWork W1989217955 @default.
• W2517913729 hasRelatedWork W2406499533 @default.
• W2517913729 hasRelatedWork W2528363695 @default.
• W2517913729 hasRelatedWork W2617181502 @default.
• W2517913729 hasRelatedWork W2809618173 @default.
• W2517913729 hasRelatedWork W2950360254 @default.
• W2517913729 hasRelatedWork W3036403349 @default.
• W2517913729 hasRelatedWork W4383898361 @default.
• W2517913729 isParatext "false" @default.
• W2517913729 isRetracted "false" @default.

• next