FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1580132004> ?p ?o ?g. }

• W1580132004 endingPage "557" @default.
• W1580132004 startingPage "545" @default.
• W1580132004 abstract "Protecting the confidentiality of information stored in a computer system or transmitted over a public network is a relevant problem in computer security. The approach of information flow analysis involves performing a static analysis of the program with the aim of proving that there will not be leaks of sensitive information. In this paper we propose a new domain that combines variable dependency analysis, based on propositional formulas, and variables’ value analysis, based on polyhedra. The resulting analysis is strictly more accurate than the state of the art abstract interpretation based analyses for information leakage detection. Its modular construction allows to deal with the tradeoff between efficiency and accuracy by tuning the granularity of the abstraction and the complexity of the abstract operators." @default.
• W1580132004 created "2016-06-24" @default.
• W1580132004 creator A5015116587 @default.
• W1580132004 creator A5057910612 @default.
• W1580132004 date "2011-01-01" @default.
• W1580132004 modified "2023-10-03" @default.
• W1580132004 title "Information Leakage Analysis by Abstract Interpretation" @default.
• W1580132004 cites W1497022621 @default.
• W1580132004 cites W1509083475 @default.
• W1580132004 cites W1824165548 @default.
• W1580132004 cites W1977764760 @default.
• W1580132004 cites W2014764321 @default.
• W1580132004 cites W2030876862 @default.
• W1580132004 cites W2031373197 @default.
• W1580132004 cites W2033160692 @default.
• W1580132004 cites W2040410674 @default.
• W1580132004 cites W2062873592 @default.
• W1580132004 cites W2094873755 @default.
• W1580132004 cites W2132661148 @default.
• W1580132004 cites W2150174204 @default.
• W1580132004 cites W44396093 @default.
• W1580132004 doi "https://doi.org/10.1007/978-3-642-18381-2_45" @default.
• W1580132004 hasPublicationYear "2011" @default.
• W1580132004 type Work @default.
• W1580132004 sameAs 1580132004 @default.
• W1580132004 citedByCount "12" @default.
• W1580132004 countsByYear W15801320042012 @default.
• W1580132004 countsByYear W15801320042013 @default.
• W1580132004 countsByYear W15801320042014 @default.
• W1580132004 countsByYear W15801320042015 @default.
• W1580132004 countsByYear W15801320042016 @default.
• W1580132004 countsByYear W15801320042018 @default.
• W1580132004 countsByYear W15801320042019 @default.
• W1580132004 countsByYear W15801320042020 @default.
• W1580132004 crossrefType "book-chapter" @default.
• W1580132004 hasAuthorship W1580132004A5015116587 @default.
• W1580132004 hasAuthorship W1580132004A5057910612 @default.
• W1580132004 hasBestOaLocation W15801320042 @default.
• W1580132004 hasConcept C101468663 @default.
• W1580132004 hasConcept C111472728 @default.
• W1580132004 hasConcept C124101348 @default.
• W1580132004 hasConcept C124304363 @default.
• W1580132004 hasConcept C132525143 @default.
• W1580132004 hasConcept C138885662 @default.
• W1580132004 hasConcept C154945302 @default.
• W1580132004 hasConcept C16311509 @default.
• W1580132004 hasConcept C177774035 @default.
• W1580132004 hasConcept C19768560 @default.
• W1580132004 hasConcept C199360897 @default.
• W1580132004 hasConcept C2779136372 @default.
• W1580132004 hasConcept C2779201187 @default.
• W1580132004 hasConcept C2780654840 @default.
• W1580132004 hasConcept C38369872 @default.
• W1580132004 hasConcept C38652104 @default.
• W1580132004 hasConcept C41008148 @default.
• W1580132004 hasConcept C41895202 @default.
• W1580132004 hasConcept C527412718 @default.
• W1580132004 hasConcept C527648132 @default.
• W1580132004 hasConcept C71745522 @default.
• W1580132004 hasConcept C80444323 @default.
• W1580132004 hasConcept C97686452 @default.
• W1580132004 hasConceptScore W1580132004C101468663 @default.
• W1580132004 hasConceptScore W1580132004C111472728 @default.
• W1580132004 hasConceptScore W1580132004C124101348 @default.
• W1580132004 hasConceptScore W1580132004C124304363 @default.
• W1580132004 hasConceptScore W1580132004C132525143 @default.
• W1580132004 hasConceptScore W1580132004C138885662 @default.
• W1580132004 hasConceptScore W1580132004C154945302 @default.
• W1580132004 hasConceptScore W1580132004C16311509 @default.
• W1580132004 hasConceptScore W1580132004C177774035 @default.
• W1580132004 hasConceptScore W1580132004C19768560 @default.
• W1580132004 hasConceptScore W1580132004C199360897 @default.
• W1580132004 hasConceptScore W1580132004C2779136372 @default.
• W1580132004 hasConceptScore W1580132004C2779201187 @default.
• W1580132004 hasConceptScore W1580132004C2780654840 @default.
• W1580132004 hasConceptScore W1580132004C38369872 @default.
• W1580132004 hasConceptScore W1580132004C38652104 @default.
• W1580132004 hasConceptScore W1580132004C41008148 @default.
• W1580132004 hasConceptScore W1580132004C41895202 @default.
• W1580132004 hasConceptScore W1580132004C527412718 @default.
• W1580132004 hasConceptScore W1580132004C527648132 @default.
• W1580132004 hasConceptScore W1580132004C71745522 @default.
• W1580132004 hasConceptScore W1580132004C80444323 @default.
• W1580132004 hasConceptScore W1580132004C97686452 @default.
• W1580132004 hasLocation W15801320041 @default.
• W1580132004 hasLocation W15801320042 @default.
• W1580132004 hasOpenAccess W1580132004 @default.
• W1580132004 hasPrimaryLocation W15801320041 @default.
• W1580132004 hasRelatedWork W1580132004 @default.
• W1580132004 hasRelatedWork W198958201 @default.
• W1580132004 hasRelatedWork W2901693611 @default.
• W1580132004 hasRelatedWork W2951327511 @default.
• W1580132004 hasRelatedWork W4300962513 @default.
• W1580132004 hasRelatedWork W4301442347 @default.
• W1580132004 hasRelatedWork W57811055 @default.
• W1580132004 hasRelatedWork W65560789 @default.
• W1580132004 hasRelatedWork W817135640 @default.
• W1580132004 hasRelatedWork W2584913293 @default.

• next