Matches in SemOpenAlex for { <https://semopenalex.org/work/W139017429> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W139017429 abstract "A hyperproperty is a set of sets of finite or infinite traces over some fixed alphabet and can be seen as a very generic system specification. In this work, we define the notions of holistic and incremental hyperproperties. Systems specified holistically tend to be more intuitive but difficult to reason about, whereas incremental specifications have a straightforward verification approach. Since most interesting security-related hyperproperties are in the syntactic class of holistic hyperproperties, we introduce the process of incrementalization to convert holistic specifications into incremental ones. We then present three incrementalizable classes of holistic hyperproperties and a respective verification method." @default.
- W139017429 created "2016-06-24" @default.
- W139017429 creator A5006356533 @default.
- W139017429 creator A5053931739 @default.
- W139017429 date "2012-01-01" @default.
- W139017429 modified "2023-09-23" @default.
- W139017429 title "Towards Incrementalization of Holistic Hyperproperties" @default.
- W139017429 cites W139017429 @default.
- W139017429 cites W1506588809 @default.
- W139017429 cites W1507873625 @default.
- W139017429 cites W1509918383 @default.
- W139017429 cites W1514815005 @default.
- W139017429 cites W1556261722 @default.
- W139017429 cites W1573078772 @default.
- W139017429 cites W1586448612 @default.
- W139017429 cites W1940060540 @default.
- W139017429 cites W1997775274 @default.
- W139017429 cites W2010924417 @default.
- W139017429 cites W2080914957 @default.
- W139017429 cites W2117189826 @default.
- W139017429 cites W2122049982 @default.
- W139017429 cites W2131093318 @default.
- W139017429 cites W2133996557 @default.
- W139017429 cites W2159897734 @default.
- W139017429 cites W2173638604 @default.
- W139017429 cites W2180713429 @default.
- W139017429 cites W2200216880 @default.
- W139017429 cites W2296605318 @default.
- W139017429 cites W3023908054 @default.
- W139017429 cites W4236991443 @default.
- W139017429 cites W4243284147 @default.
- W139017429 cites W4250728693 @default.
- W139017429 doi "https://doi.org/10.1007/978-3-642-28641-4_18" @default.
- W139017429 hasPublicationYear "2012" @default.
- W139017429 type Work @default.
- W139017429 sameAs 139017429 @default.
- W139017429 citedByCount "14" @default.
- W139017429 countsByYear W1390174292012 @default.
- W139017429 countsByYear W1390174292013 @default.
- W139017429 countsByYear W1390174292014 @default.
- W139017429 countsByYear W1390174292015 @default.
- W139017429 countsByYear W1390174292016 @default.
- W139017429 countsByYear W1390174292017 @default.
- W139017429 crossrefType "book-chapter" @default.
- W139017429 hasAuthorship W139017429A5006356533 @default.
- W139017429 hasAuthorship W139017429A5053931739 @default.
- W139017429 hasBestOaLocation W1390174291 @default.
- W139017429 hasConcept C154945302 @default.
- W139017429 hasConcept C177264268 @default.
- W139017429 hasConcept C199360897 @default.
- W139017429 hasConcept C2777212361 @default.
- W139017429 hasConcept C41008148 @default.
- W139017429 hasConcept C80444323 @default.
- W139017429 hasConcept C98045186 @default.
- W139017429 hasConceptScore W139017429C154945302 @default.
- W139017429 hasConceptScore W139017429C177264268 @default.
- W139017429 hasConceptScore W139017429C199360897 @default.
- W139017429 hasConceptScore W139017429C2777212361 @default.
- W139017429 hasConceptScore W139017429C41008148 @default.
- W139017429 hasConceptScore W139017429C80444323 @default.
- W139017429 hasConceptScore W139017429C98045186 @default.
- W139017429 hasLocation W1390174291 @default.
- W139017429 hasOpenAccess W139017429 @default.
- W139017429 hasPrimaryLocation W1390174291 @default.
- W139017429 hasRelatedWork W1492585812 @default.
- W139017429 hasRelatedWork W1506992325 @default.
- W139017429 hasRelatedWork W1580874247 @default.
- W139017429 hasRelatedWork W1607886930 @default.
- W139017429 hasRelatedWork W1977764760 @default.
- W139017429 hasRelatedWork W2095762545 @default.
- W139017429 hasRelatedWork W2116866980 @default.
- W139017429 hasRelatedWork W2117320004 @default.
- W139017429 hasRelatedWork W2129292012 @default.
- W139017429 hasRelatedWork W2170018380 @default.
- W139017429 hasRelatedWork W2170868623 @default.
- W139017429 hasRelatedWork W2184414213 @default.
- W139017429 hasRelatedWork W2253830531 @default.
- W139017429 hasRelatedWork W2272418519 @default.
- W139017429 hasRelatedWork W2295819238 @default.
- W139017429 hasRelatedWork W2950519199 @default.
- W139017429 hasRelatedWork W2964335063 @default.
- W139017429 hasRelatedWork W3174884742 @default.
- W139017429 hasRelatedWork W3210443611 @default.
- W139017429 hasRelatedWork W82362649 @default.
- W139017429 isParatext "false" @default.
- W139017429 isRetracted "false" @default.
- W139017429 magId "139017429" @default.
- W139017429 workType "book-chapter" @default.