Matches in SemOpenAlex for { <https://semopenalex.org/work/W1976202267> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1976202267 endingPage "570" @default.
- W1976202267 startingPage "531" @default.
- W1976202267 abstract "We are interested in the validation of opacity. Opacity models the impossibility for an attacker to retrieve the value of a secret in a system of interest. Roughly speaking, ensuring opacity provides confidentiality of a secret on the system that must not leak to an attacker. More specifically, we study how we can model-check, verify and enforce at system runtime, several levels of opacity. Besides existing notions of opacity, we also introduce K-step strong opacity, a more practical notion of opacity that provides a stronger level of confidentiality." @default.
- W1976202267 created "2016-06-24" @default.
- W1976202267 creator A5037726232 @default.
- W1976202267 creator A5053628603 @default.
- W1976202267 date "2014-07-05" @default.
- W1976202267 modified "2023-10-18" @default.
- W1976202267 title "Enforcement and validation (at runtime) of various notions of opacity" @default.
- W1976202267 cites W1492585812 @default.
- W1976202267 cites W1558971024 @default.
- W1976202267 cites W1574561446 @default.
- W1976202267 cites W157562587 @default.
- W1976202267 cites W1584489325 @default.
- W1976202267 cites W1734269280 @default.
- W1976202267 cites W1985929316 @default.
- W1976202267 cites W1994129816 @default.
- W1976202267 cites W1998450507 @default.
- W1976202267 cites W2004398490 @default.
- W1976202267 cites W2008737885 @default.
- W1976202267 cites W2028720147 @default.
- W1976202267 cites W2031373068 @default.
- W1976202267 cites W2036910349 @default.
- W1976202267 cites W2043996829 @default.
- W1976202267 cites W2049903083 @default.
- W1976202267 cites W2061598829 @default.
- W1976202267 cites W2064886960 @default.
- W1976202267 cites W2101623441 @default.
- W1976202267 cites W2115965729 @default.
- W1976202267 cites W2118962824 @default.
- W1976202267 cites W2134617976 @default.
- W1976202267 cites W2146771420 @default.
- W1976202267 cites W2146852848 @default.
- W1976202267 cites W2156456150 @default.
- W1976202267 cites W2162000948 @default.
- W1976202267 cites W2168066002 @default.
- W1976202267 cites W2912987268 @default.
- W1976202267 cites W2122947988 @default.
- W1976202267 doi "https://doi.org/10.1007/s10626-014-0196-4" @default.
- W1976202267 hasPublicationYear "2014" @default.
- W1976202267 type Work @default.
- W1976202267 sameAs 1976202267 @default.
- W1976202267 citedByCount "68" @default.
- W1976202267 countsByYear W19762022672015 @default.
- W1976202267 countsByYear W19762022672016 @default.
- W1976202267 countsByYear W19762022672017 @default.
- W1976202267 countsByYear W19762022672018 @default.
- W1976202267 countsByYear W19762022672019 @default.
- W1976202267 countsByYear W19762022672020 @default.
- W1976202267 countsByYear W19762022672021 @default.
- W1976202267 countsByYear W19762022672022 @default.
- W1976202267 countsByYear W19762022672023 @default.
- W1976202267 crossrefType "journal-article" @default.
- W1976202267 hasAuthorship W1976202267A5037726232 @default.
- W1976202267 hasAuthorship W1976202267A5053628603 @default.
- W1976202267 hasBestOaLocation W19762022672 @default.
- W1976202267 hasConcept C120665830 @default.
- W1976202267 hasConcept C121332964 @default.
- W1976202267 hasConcept C17744445 @default.
- W1976202267 hasConcept C199539241 @default.
- W1976202267 hasConcept C2776261394 @default.
- W1976202267 hasConcept C2779777834 @default.
- W1976202267 hasConcept C38652104 @default.
- W1976202267 hasConcept C41008148 @default.
- W1976202267 hasConcept C60056205 @default.
- W1976202267 hasConcept C71745522 @default.
- W1976202267 hasConcept C80444323 @default.
- W1976202267 hasConceptScore W1976202267C120665830 @default.
- W1976202267 hasConceptScore W1976202267C121332964 @default.
- W1976202267 hasConceptScore W1976202267C17744445 @default.
- W1976202267 hasConceptScore W1976202267C199539241 @default.
- W1976202267 hasConceptScore W1976202267C2776261394 @default.
- W1976202267 hasConceptScore W1976202267C2779777834 @default.
- W1976202267 hasConceptScore W1976202267C38652104 @default.
- W1976202267 hasConceptScore W1976202267C41008148 @default.
- W1976202267 hasConceptScore W1976202267C60056205 @default.
- W1976202267 hasConceptScore W1976202267C71745522 @default.
- W1976202267 hasConceptScore W1976202267C80444323 @default.
- W1976202267 hasIssue "4" @default.
- W1976202267 hasLocation W19762022671 @default.
- W1976202267 hasLocation W19762022672 @default.
- W1976202267 hasLocation W19762022673 @default.
- W1976202267 hasOpenAccess W1976202267 @default.
- W1976202267 hasPrimaryLocation W19762022671 @default.
- W1976202267 hasRelatedWork W1976202267 @default.
- W1976202267 hasRelatedWork W1997068680 @default.
- W1976202267 hasRelatedWork W2066385225 @default.
- W1976202267 hasRelatedWork W2383950765 @default.
- W1976202267 hasRelatedWork W2600133939 @default.
- W1976202267 hasRelatedWork W2620434798 @default.
- W1976202267 hasRelatedWork W3082913103 @default.
- W1976202267 hasRelatedWork W3131741073 @default.
- W1976202267 hasRelatedWork W4239903230 @default.
- W1976202267 hasRelatedWork W2241005045 @default.
- W1976202267 hasVolume "25" @default.
- W1976202267 isParatext "false" @default.
- W1976202267 isRetracted "false" @default.
- W1976202267 magId "1976202267" @default.
- W1976202267 workType "article" @default.