Matches in SemOpenAlex for { <https://semopenalex.org/work/W2189638487> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2189638487 endingPage "247" @default.
- W2189638487 startingPage "231" @default.
- W2189638487 abstract "Linear temporal logic (LTL) has been widely used to specify runtime policies. Traditionally this use of LTL is to capture the qualitative aspects of the monitored systems, but recent developments in metric LTL and its extensions with aggregate operators allow some quantitative policies to be specified. Our interest in LTL-based policy languages is driven by applications in runtime Android malware detection, which requires the monitoring algorithm to be independent of the length of the system event traces so that its performance does not degrade as the traces grow. We propose a policy language based on a past-time variant of LTL, extended with an aggregate operator called the counting quantifier to specify a policy based on the number of times some sub-policies are satisfied in the past. We show that a broad class of policies, but not all policies, specified with our language can be monitored in a trace-length independent way without sacrificing completeness, and provide a concrete algorithm to do so. We implement and test our algorithm in an existing Android monitoring framework and show that our approach can effectively specify and enforce quantitative policies drawn from real-world Android malware studies." @default.
- W2189638487 created "2016-06-24" @default.
- W2189638487 creator A5002071885 @default.
- W2189638487 creator A5023363049 @default.
- W2189638487 creator A5071064651 @default.
- W2189638487 date "2015-01-01" @default.
- W2189638487 modified "2023-09-30" @default.
- W2189638487 title "Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL" @default.
- W2189638487 cites W145886658 @default.
- W2189638487 cites W1482613269 @default.
- W2189638487 cites W1502575381 @default.
- W2189638487 cites W1554618854 @default.
- W2189638487 cites W1568373408 @default.
- W2189638487 cites W1740522204 @default.
- W2189638487 cites W1825341937 @default.
- W2189638487 cites W1878842069 @default.
- W2189638487 cites W2005062077 @default.
- W2189638487 cites W2029226237 @default.
- W2189638487 cites W2032112873 @default.
- W2189638487 cites W2103910858 @default.
- W2189638487 cites W2125011234 @default.
- W2189638487 cites W2162541148 @default.
- W2189638487 cites W2293422809 @default.
- W2189638487 cites W763797034 @default.
- W2189638487 cites W84148826 @default.
- W2189638487 doi "https://doi.org/10.1007/978-3-319-19249-9_15" @default.
- W2189638487 hasPublicationYear "2015" @default.
- W2189638487 type Work @default.
- W2189638487 sameAs 2189638487 @default.
- W2189638487 citedByCount "13" @default.
- W2189638487 countsByYear W21896384872017 @default.
- W2189638487 countsByYear W21896384872018 @default.
- W2189638487 countsByYear W21896384872019 @default.
- W2189638487 countsByYear W21896384872020 @default.
- W2189638487 countsByYear W21896384872021 @default.
- W2189638487 countsByYear W21896384872023 @default.
- W2189638487 crossrefType "book-chapter" @default.
- W2189638487 hasAuthorship W2189638487A5002071885 @default.
- W2189638487 hasAuthorship W2189638487A5023363049 @default.
- W2189638487 hasAuthorship W2189638487A5071064651 @default.
- W2189638487 hasConcept C111498074 @default.
- W2189638487 hasConcept C111919701 @default.
- W2189638487 hasConcept C138885662 @default.
- W2189638487 hasConcept C199360897 @default.
- W2189638487 hasConcept C202973057 @default.
- W2189638487 hasConcept C25016198 @default.
- W2189638487 hasConcept C41008148 @default.
- W2189638487 hasConcept C41895202 @default.
- W2189638487 hasConcept C4777664 @default.
- W2189638487 hasConcept C557433098 @default.
- W2189638487 hasConcept C75291252 @default.
- W2189638487 hasConcept C80444323 @default.
- W2189638487 hasConceptScore W2189638487C111498074 @default.
- W2189638487 hasConceptScore W2189638487C111919701 @default.
- W2189638487 hasConceptScore W2189638487C138885662 @default.
- W2189638487 hasConceptScore W2189638487C199360897 @default.
- W2189638487 hasConceptScore W2189638487C202973057 @default.
- W2189638487 hasConceptScore W2189638487C25016198 @default.
- W2189638487 hasConceptScore W2189638487C41008148 @default.
- W2189638487 hasConceptScore W2189638487C41895202 @default.
- W2189638487 hasConceptScore W2189638487C4777664 @default.
- W2189638487 hasConceptScore W2189638487C557433098 @default.
- W2189638487 hasConceptScore W2189638487C75291252 @default.
- W2189638487 hasConceptScore W2189638487C80444323 @default.
- W2189638487 hasLocation W21896384871 @default.
- W2189638487 hasOpenAccess W2189638487 @default.
- W2189638487 hasPrimaryLocation W21896384871 @default.
- W2189638487 hasRelatedWork W2081369054 @default.
- W2189638487 hasRelatedWork W2107412422 @default.
- W2189638487 hasRelatedWork W2256753787 @default.
- W2189638487 hasRelatedWork W2281584718 @default.
- W2189638487 hasRelatedWork W2346373674 @default.
- W2189638487 hasRelatedWork W2801746908 @default.
- W2189638487 hasRelatedWork W2883565738 @default.
- W2189638487 hasRelatedWork W2950238009 @default.
- W2189638487 hasRelatedWork W2951152044 @default.
- W2189638487 hasRelatedWork W4289665805 @default.
- W2189638487 isParatext "false" @default.
- W2189638487 isRetracted "false" @default.
- W2189638487 magId "2189638487" @default.
- W2189638487 workType "book-chapter" @default.