Matches in SemOpenAlex for { <https://semopenalex.org/work/W4228997002> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4228997002 abstract "Nowadays, preventing sensitive information leakage is a crucial issue. Indeed, in order to deploy secure computing systems, data protection is an aspect that cannot be ignored. In this respect, opacity is a security policy aiming at hiding the truth value of a predicate during computation. Unfortunately, despite its simple intended meaning, opacity is a quite difficult program property (indeed it is actually an hyperproperty) to guarantee. In this paper, we propose a verification mechanism, based on abstract interpretation, for opacity. Indeed, while studying the relation between opacity and abstract non-interference, a weakening of non-interference observing properties of program computations instead of concrete values, we noticed that under particular conditions opacity is implied by abstract non-interference. Hence, by exploiting the recently proposed static approach for verifying non-interference, based on hypersemantics, we can show how to verify abstract non-interference and therefore opacity." @default.
- W4228997002 created "2022-05-08" @default.
- W4228997002 creator A5031780173 @default.
- W4228997002 creator A5042532202 @default.
- W4228997002 date "2022-04-25" @default.
- W4228997002 modified "2023-09-27" @default.
- W4228997002 title "Verifying opacity by abstract interpretation" @default.
- W4228997002 cites W1510228738 @default.
- W4228997002 cites W1966571454 @default.
- W4228997002 cites W2031373068 @default.
- W4228997002 cites W2046160987 @default.
- W4228997002 cites W2755377702 @default.
- W4228997002 cites W2785627758 @default.
- W4228997002 cites W2943343800 @default.
- W4228997002 cites W3003159414 @default.
- W4228997002 doi "https://doi.org/10.1145/3477314.3507119" @default.
- W4228997002 hasPublicationYear "2022" @default.
- W4228997002 type Work @default.
- W4228997002 citedByCount "0" @default.
- W4228997002 crossrefType "proceedings-article" @default.
- W4228997002 hasAuthorship W4228997002A5031780173 @default.
- W4228997002 hasAuthorship W4228997002A5042532202 @default.
- W4228997002 hasConcept C111472728 @default.
- W4228997002 hasConcept C11413529 @default.
- W4228997002 hasConcept C120665830 @default.
- W4228997002 hasConcept C121332964 @default.
- W4228997002 hasConcept C127162648 @default.
- W4228997002 hasConcept C138885662 @default.
- W4228997002 hasConcept C140146324 @default.
- W4228997002 hasConcept C189950617 @default.
- W4228997002 hasConcept C199360897 @default.
- W4228997002 hasConcept C32022120 @default.
- W4228997002 hasConcept C41008148 @default.
- W4228997002 hasConcept C45374587 @default.
- W4228997002 hasConcept C527412718 @default.
- W4228997002 hasConcept C60056205 @default.
- W4228997002 hasConcept C76155785 @default.
- W4228997002 hasConcept C80444323 @default.
- W4228997002 hasConceptScore W4228997002C111472728 @default.
- W4228997002 hasConceptScore W4228997002C11413529 @default.
- W4228997002 hasConceptScore W4228997002C120665830 @default.
- W4228997002 hasConceptScore W4228997002C121332964 @default.
- W4228997002 hasConceptScore W4228997002C127162648 @default.
- W4228997002 hasConceptScore W4228997002C138885662 @default.
- W4228997002 hasConceptScore W4228997002C140146324 @default.
- W4228997002 hasConceptScore W4228997002C189950617 @default.
- W4228997002 hasConceptScore W4228997002C199360897 @default.
- W4228997002 hasConceptScore W4228997002C32022120 @default.
- W4228997002 hasConceptScore W4228997002C41008148 @default.
- W4228997002 hasConceptScore W4228997002C45374587 @default.
- W4228997002 hasConceptScore W4228997002C527412718 @default.
- W4228997002 hasConceptScore W4228997002C60056205 @default.
- W4228997002 hasConceptScore W4228997002C76155785 @default.
- W4228997002 hasConceptScore W4228997002C80444323 @default.
- W4228997002 hasLocation W42289970021 @default.
- W4228997002 hasOpenAccess W4228997002 @default.
- W4228997002 hasPrimaryLocation W42289970021 @default.
- W4228997002 hasRelatedWork W1534842550 @default.
- W4228997002 hasRelatedWork W1559954017 @default.
- W4228997002 hasRelatedWork W1973285568 @default.
- W4228997002 hasRelatedWork W2150174076 @default.
- W4228997002 hasRelatedWork W2353708460 @default.
- W4228997002 hasRelatedWork W2354062721 @default.
- W4228997002 hasRelatedWork W2391493454 @default.
- W4228997002 hasRelatedWork W2795591408 @default.
- W4228997002 hasRelatedWork W2921536839 @default.
- W4228997002 hasRelatedWork W3177858206 @default.
- W4228997002 isParatext "false" @default.
- W4228997002 isRetracted "false" @default.
- W4228997002 workType "article" @default.