Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964335063> ?p ?o ?g. }
- W2964335063 endingPage "284" @default.
- W2964335063 startingPage "265" @default.
- W2964335063 abstract "Two new logics for verification of hyperproperties are proposed. Hyperproperties characterize security policies, such as noninterference, as a property of sets of computation paths. Standard temporal logics such as LTL, CTL, and CTL* can refer only to a single path at a time, hence cannot express many hyperproperties of interest. The logics proposed here, HyperLTL and HyperCTL*, add explicit and simultaneous quantification over multiple paths to LTL and to CTL*. This kind of quantification enables expression of hyperproperties. A model checking algorithm for the proposed logics is given. For a fragment of HyperLTL, a prototype model checker has been implemented." @default.
- W2964335063 created "2019-07-30" @default.
- W2964335063 creator A5009079768 @default.
- W2964335063 creator A5012836041 @default.
- W2964335063 creator A5015623381 @default.
- W2964335063 creator A5048189898 @default.
- W2964335063 creator A5066289382 @default.
- W2964335063 creator A5072217103 @default.
- W2964335063 date "2014-01-01" @default.
- W2964335063 modified "2023-10-17" @default.
- W2964335063 title "Temporal Logics for Hyperproperties" @default.
- W2964335063 cites W139017429 @default.
- W2964335063 cites W1492585812 @default.
- W2964335063 cites W1506588809 @default.
- W2964335063 cites W1507873625 @default.
- W2964335063 cites W1512310098 @default.
- W2964335063 cites W1513569578 @default.
- W2964335063 cites W1574030932 @default.
- W2964335063 cites W157431908 @default.
- W2964335063 cites W1583357444 @default.
- W2964335063 cites W1607782211 @default.
- W2964335063 cites W1640592531 @default.
- W2964335063 cites W1765464860 @default.
- W2964335063 cites W1866799138 @default.
- W2964335063 cites W1963436944 @default.
- W2964335063 cites W1976773489 @default.
- W2964335063 cites W1977764760 @default.
- W2964335063 cites W1990609140 @default.
- W2964335063 cites W2004306067 @default.
- W2964335063 cites W2023808162 @default.
- W2964335063 cites W2034527657 @default.
- W2964335063 cites W2035877969 @default.
- W2964335063 cites W2069858199 @default.
- W2964335063 cites W2075849836 @default.
- W2964335063 cites W2089003125 @default.
- W2964335063 cites W2097151854 @default.
- W2964335063 cites W2097365905 @default.
- W2964335063 cites W2113486822 @default.
- W2964335063 cites W2115309705 @default.
- W2964335063 cites W2119966192 @default.
- W2964335063 cites W2122049982 @default.
- W2964335063 cites W2128610788 @default.
- W2964335063 cites W2130241416 @default.
- W2964335063 cites W2132334337 @default.
- W2964335063 cites W2135289568 @default.
- W2964335063 cites W2139799388 @default.
- W2964335063 cites W2156421816 @default.
- W2964335063 cites W2158126684 @default.
- W2964335063 cites W2200216880 @default.
- W2964335063 cites W2617606417 @default.
- W2964335063 cites W2947969153 @default.
- W2964335063 cites W2964335063 @default.
- W2964335063 cites W4250728693 @default.
- W2964335063 cites W4251301725 @default.
- W2964335063 cites W48672996 @default.
- W2964335063 cites W5424990 @default.
- W2964335063 doi "https://doi.org/10.1007/978-3-642-54792-8_15" @default.
- W2964335063 hasPublicationYear "2014" @default.
- W2964335063 type Work @default.
- W2964335063 sameAs 2964335063 @default.
- W2964335063 citedByCount "191" @default.
- W2964335063 countsByYear W29643350632014 @default.
- W2964335063 countsByYear W29643350632015 @default.
- W2964335063 countsByYear W29643350632016 @default.
- W2964335063 countsByYear W29643350632017 @default.
- W2964335063 countsByYear W29643350632018 @default.
- W2964335063 countsByYear W29643350632019 @default.
- W2964335063 countsByYear W29643350632020 @default.
- W2964335063 countsByYear W29643350632021 @default.
- W2964335063 countsByYear W29643350632022 @default.
- W2964335063 countsByYear W29643350632023 @default.
- W2964335063 crossrefType "book-chapter" @default.
- W2964335063 hasAuthorship W2964335063A5009079768 @default.
- W2964335063 hasAuthorship W2964335063A5012836041 @default.
- W2964335063 hasAuthorship W2964335063A5015623381 @default.
- W2964335063 hasAuthorship W2964335063A5048189898 @default.
- W2964335063 hasAuthorship W2964335063A5066289382 @default.
- W2964335063 hasAuthorship W2964335063A5072217103 @default.
- W2964335063 hasBestOaLocation W29643350631 @default.
- W2964335063 hasConcept C41008148 @default.
- W2964335063 hasConceptScore W2964335063C41008148 @default.
- W2964335063 hasLocation W29643350631 @default.
- W2964335063 hasLocation W29643350632 @default.
- W2964335063 hasLocation W29643350633 @default.
- W2964335063 hasOpenAccess W2964335063 @default.
- W2964335063 hasPrimaryLocation W29643350631 @default.
- W2964335063 hasRelatedWork W2049775471 @default.
- W2964335063 hasRelatedWork W2093578348 @default.
- W2964335063 hasRelatedWork W2350741829 @default.
- W2964335063 hasRelatedWork W2358668433 @default.
- W2964335063 hasRelatedWork W2376932109 @default.
- W2964335063 hasRelatedWork W2382290278 @default.
- W2964335063 hasRelatedWork W2390279801 @default.
- W2964335063 hasRelatedWork W2748952813 @default.
- W2964335063 hasRelatedWork W2899084033 @default.
- W2964335063 hasRelatedWork W3004735627 @default.
- W2964335063 isParatext "false" @default.
- W2964335063 isRetracted "false" @default.