Matches in SemOpenAlex for { <https://semopenalex.org/work/W2088409631> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2088409631 endingPage "141" @default.
- W2088409631 startingPage "119" @default.
- W2088409631 abstract "In a batch program, information about confidential inputs may flow to insecure outputs. The size of this leakage, considered as a Shannon measure, may be automatically and exactly calculated via probabilistic semantics as we have shown in our earlier work. This approach works well for small programs with small state spaces. As the scale increases the calculation suffers from a form of state space explosion and the time complexity grows. In this paper we scale up the programs and state spaces that can be handled albeit at the cost of replacing an exact result with an upper bound. To do this we introduce abstraction on the state space via interval-based partitions, adapting an abstract interpretation framework introduced by Monniaux. The user can define the partitions and the more coarse the partitions, the more coarse the resulting upper bound. In this paper we summarise our previous contribution, define the abstract interpretation, show its soundness, and prove that the result of an abstract computation is always an upper bound on the true leakage, i.e. is a safe estimate. Finally we illustrate the approach by means of some examples." @default.
- W2088409631 created "2016-06-24" @default.
- W2088409631 creator A5013673413 @default.
- W2088409631 creator A5057898837 @default.
- W2088409631 date "2009-11-01" @default.
- W2088409631 modified "2023-09-26" @default.
- W2088409631 title "An Interval-based Abstraction for Quantifying Information Flow" @default.
- W2088409631 cites W1489154805 @default.
- W2088409631 cites W1538510509 @default.
- W2088409631 cites W1968724592 @default.
- W2088409631 cites W2001944765 @default.
- W2088409631 cites W2024355065 @default.
- W2088409631 cites W2048692459 @default.
- W2088409631 cites W2081810835 @default.
- W2088409631 cites W2094873755 @default.
- W2088409631 cites W2097151854 @default.
- W2088409631 cites W2100019646 @default.
- W2088409631 cites W2103759928 @default.
- W2088409631 cites W2119966192 @default.
- W2088409631 cites W2126437775 @default.
- W2088409631 cites W2144992712 @default.
- W2088409631 cites W2147436337 @default.
- W2088409631 cites W2158196184 @default.
- W2088409631 cites W2161290831 @default.
- W2088409631 cites W2177254373 @default.
- W2088409631 doi "https://doi.org/10.1016/j.entcs.2009.10.009" @default.
- W2088409631 hasPublicationYear "2009" @default.
- W2088409631 type Work @default.
- W2088409631 sameAs 2088409631 @default.
- W2088409631 citedByCount "12" @default.
- W2088409631 countsByYear W20884096312012 @default.
- W2088409631 countsByYear W20884096312013 @default.
- W2088409631 countsByYear W20884096312014 @default.
- W2088409631 countsByYear W20884096312015 @default.
- W2088409631 countsByYear W20884096312016 @default.
- W2088409631 countsByYear W20884096312018 @default.
- W2088409631 countsByYear W20884096312020 @default.
- W2088409631 crossrefType "journal-article" @default.
- W2088409631 hasAuthorship W2088409631A5013673413 @default.
- W2088409631 hasAuthorship W2088409631A5057898837 @default.
- W2088409631 hasBestOaLocation W20884096311 @default.
- W2088409631 hasConcept C111472728 @default.
- W2088409631 hasConcept C114614502 @default.
- W2088409631 hasConcept C124304363 @default.
- W2088409631 hasConcept C138885662 @default.
- W2088409631 hasConcept C199360897 @default.
- W2088409631 hasConcept C2524010 @default.
- W2088409631 hasConcept C2778067643 @default.
- W2088409631 hasConcept C2779136372 @default.
- W2088409631 hasConcept C33923547 @default.
- W2088409631 hasConcept C38349280 @default.
- W2088409631 hasConcept C41008148 @default.
- W2088409631 hasConcept C41895202 @default.
- W2088409631 hasConcept C80444323 @default.
- W2088409631 hasConceptScore W2088409631C111472728 @default.
- W2088409631 hasConceptScore W2088409631C114614502 @default.
- W2088409631 hasConceptScore W2088409631C124304363 @default.
- W2088409631 hasConceptScore W2088409631C138885662 @default.
- W2088409631 hasConceptScore W2088409631C199360897 @default.
- W2088409631 hasConceptScore W2088409631C2524010 @default.
- W2088409631 hasConceptScore W2088409631C2778067643 @default.
- W2088409631 hasConceptScore W2088409631C2779136372 @default.
- W2088409631 hasConceptScore W2088409631C33923547 @default.
- W2088409631 hasConceptScore W2088409631C38349280 @default.
- W2088409631 hasConceptScore W2088409631C41008148 @default.
- W2088409631 hasConceptScore W2088409631C41895202 @default.
- W2088409631 hasConceptScore W2088409631C80444323 @default.
- W2088409631 hasIssue "3" @default.
- W2088409631 hasLocation W20884096311 @default.
- W2088409631 hasOpenAccess W2088409631 @default.
- W2088409631 hasPrimaryLocation W20884096311 @default.
- W2088409631 hasRelatedWork W137976737 @default.
- W2088409631 hasRelatedWork W1504651774 @default.
- W2088409631 hasRelatedWork W1565263828 @default.
- W2088409631 hasRelatedWork W1999473061 @default.
- W2088409631 hasRelatedWork W2096094850 @default.
- W2088409631 hasRelatedWork W2140846949 @default.
- W2088409631 hasRelatedWork W2937242976 @default.
- W2088409631 hasRelatedWork W3160136729 @default.
- W2088409631 hasRelatedWork W2611182424 @default.
- W2088409631 hasRelatedWork W332295136 @default.
- W2088409631 hasVolume "253" @default.
- W2088409631 isParatext "false" @default.
- W2088409631 isRetracted "false" @default.
- W2088409631 magId "2088409631" @default.
- W2088409631 workType "article" @default.