Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of a program may not be influenced from secret input. This work leverages a technique called program slici...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Online |
| Lingua: | inglese |
| Pubblicazione: |
KIT Scientific Publishing
2021
|
| Soggetti: | |
| Accesso online: | 34930 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1869525090599698432 |
|---|---|
| author | Hammer, Christian |
| author_browse | Hammer, Christian |
| author_facet | Hammer, Christian |
| author_sort | Hammer, Christian |
| collection | Directory of Open Access Books |
| description | Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of a program may not be influenced from secret input. This work leverages a technique called program slicing, which is closely connected to IFC and offers many dimensions for improving analysis precision, the most powerful are Path Conditions. Our evaluation shows scalability with a low annotation burden. |
| format | Online |
| id | doab-20.500.12854ir-50219 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | KIT Scientific Publishing |
| publisherStr | KIT Scientific Publishing |
| record_format | ojs |
| spelling | doab-20.500.12854ir-502192023-12-20T18:40:49Z Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs Hammer, Christian QA75.5-76.95 information flow control software security program slicing program dependence graph path conditions bic Book Industry Communication::U Computing & information technology::UY Computer science Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of a program may not be influenced from secret input. This work leverages a technique called program slicing, which is closely connected to IFC and offers many dimensions for improving analysis precision, the most powerful are Path Conditions. Our evaluation shows scalability with a low annotation burden. 2021-02-11T16:13:46Z 2021-02-11T16:13:46Z 2019-07-30 20:01:59 2009 book 34930 9783866443983 https://directory.doabooks.org/handle/20.500.12854/50219 eng image/jpeg Attribution-NonCommercial-NoDerivatives 4.0 International https://www.ksp.kit.edu/9783866443983 KIT Scientific Publishing 10.5445/KSP/1000012049 10.5445/KSP/1000012049 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 9783866443983 221 p. open access |
| spellingShingle | QA75.5-76.95 information flow control software security program slicing program dependence graph path conditions bic Book Industry Communication::U Computing & information technology::UY Computer science Hammer, Christian Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs |
| title | Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs |
| title_full | Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs |
| title_fullStr | Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs |
| title_full_unstemmed | Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs |
| title_short | Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs |
| title_sort | information flow control for java a comprehensive approach based on path conditions in dependence graphs |
| topic | QA75.5-76.95 information flow control software security program slicing program dependence graph path conditions bic Book Industry Communication::U Computing & information technology::UY Computer science |
| topic_facet | QA75.5-76.95 information flow control software security program slicing program dependence graph path conditions bic Book Industry Communication::U Computing & information technology::UY Computer science |
| url | 34930 |
| work_keys_str_mv | AT hammerchristian informationflowcontrolforjavaacomprehensiveapproachbasedonpathconditionsindependencegraphs |