Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569068078> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1569068078 endingPage "310" @default.
- W1569068078 startingPage "295" @default.
- W1569068078 abstract "In this paper we prove that attack models and robust declassification in language-based security can be viewed as adjoint transformations of abstract interpretations. This is achieved by interpreting the well known Joshi and Leino's semantic approach to non-interference as a problem of making an abstraction complete relatively to a program's semantics. This observation allows us to prove that the most abstract property on confidential data which flows, here called private observation, and the most concrete harmless attacker observing public data, here called public observable, both modeled as abstractions of the program's semantics, are respectively the adjoint solutions of a completeness problem in standard abstract interpretation theory. In particular declassification corresponds to refining the given model of an attacker with the minimal amount of information in order to achieve completeness, which is non-interference, while the harmless attacker corresponds to remove this information. This proves an adjunction relation between two basic approaches to language-based security: declassification and the construction of suitable attack models, and allows us to apply relevant techniques for abstract domain transformation in language-based security." @default.
- W1569068078 created "2016-06-24" @default.
- W1569068078 creator A5031780173 @default.
- W1569068078 creator A5052881133 @default.
- W1569068078 date "2005-01-01" @default.
- W1569068078 modified "2023-09-24" @default.
- W1569068078 title "Adjoining Declassification and Attack Models by Abstract Interpretation" @default.
- W1569068078 cites W1493079268 @default.
- W1569068078 cites W1497022621 @default.
- W1569068078 cites W1519566437 @default.
- W1569068078 cites W1547129189 @default.
- W1569068078 cites W1559130486 @default.
- W1569068078 cites W1569728954 @default.
- W1569068078 cites W1577474150 @default.
- W1569068078 cites W1582574957 @default.
- W1569068078 cites W1819958245 @default.
- W1569068078 cites W1940060540 @default.
- W1569068078 cites W1963436944 @default.
- W1569068078 cites W2046160987 @default.
- W1569068078 cites W2082175363 @default.
- W1569068078 cites W2094873755 @default.
- W1569068078 cites W2113660296 @default.
- W1569068078 cites W2122049982 @default.
- W1569068078 cites W2129278597 @default.
- W1569068078 cites W2131916295 @default.
- W1569068078 cites W2150174204 @default.
- W1569068078 cites W2162068275 @default.
- W1569068078 cites W2170018380 @default.
- W1569068078 cites W2173102238 @default.
- W1569068078 cites W2295903522 @default.
- W1569068078 doi "https://doi.org/10.1007/978-3-540-31987-0_21" @default.
- W1569068078 hasPublicationYear "2005" @default.
- W1569068078 type Work @default.
- W1569068078 sameAs 1569068078 @default.
- W1569068078 citedByCount "20" @default.
- W1569068078 countsByYear W15690680782012 @default.
- W1569068078 countsByYear W15690680782014 @default.
- W1569068078 countsByYear W15690680782021 @default.
- W1569068078 crossrefType "book-chapter" @default.
- W1569068078 hasAuthorship W1569068078A5031780173 @default.
- W1569068078 hasAuthorship W1569068078A5052881133 @default.
- W1569068078 hasBestOaLocation W15690680781 @default.
- W1569068078 hasConcept C199360897 @default.
- W1569068078 hasConcept C38652104 @default.
- W1569068078 hasConcept C41008148 @default.
- W1569068078 hasConcept C527412718 @default.
- W1569068078 hasConceptScore W1569068078C199360897 @default.
- W1569068078 hasConceptScore W1569068078C38652104 @default.
- W1569068078 hasConceptScore W1569068078C41008148 @default.
- W1569068078 hasConceptScore W1569068078C527412718 @default.
- W1569068078 hasLocation W15690680781 @default.
- W1569068078 hasOpenAccess W1569068078 @default.
- W1569068078 hasPrimaryLocation W15690680781 @default.
- W1569068078 hasRelatedWork W2030496847 @default.
- W1569068078 hasRelatedWork W2358668433 @default.
- W1569068078 hasRelatedWork W2390279801 @default.
- W1569068078 hasRelatedWork W2748952813 @default.
- W1569068078 hasRelatedWork W2899084033 @default.
- W1569068078 hasRelatedWork W3007967230 @default.
- W1569068078 hasRelatedWork W3183204001 @default.
- W1569068078 hasRelatedWork W4245077728 @default.
- W1569068078 hasRelatedWork W4313313264 @default.
- W1569068078 hasRelatedWork W4313320911 @default.
- W1569068078 isParatext "false" @default.
- W1569068078 isRetracted "false" @default.
- W1569068078 magId "1569068078" @default.
- W1569068078 workType "book-chapter" @default.