Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
dc.contributor.author | Hammer, Christian | * |
dc.date.accessioned | 2021-02-11T16:13:46Z | |
dc.date.available | 2021-02-11T16:13:46Z | |
dc.date.issued | 2009 | * |
dc.date.submitted | 2019-07-30 20:01:59 | * |
dc.identifier | 34930 | * |
dc.identifier.uri | https://directory.doabooks.org/handle/20.500.12854/50219 | |
dc.description.abstract | 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. | * |
dc.language | English | * |
dc.subject | QA75.5-76.95 | * |
dc.subject.classification | bic Book Industry Communication::U Computing & information technology::UY Computer science | en_US |
dc.subject.other | information flow control | * |
dc.subject.other | software security | * |
dc.subject.other | program slicing | * |
dc.subject.other | program dependence graph | * |
dc.subject.other | path conditions | * |
dc.title | Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs | * |
dc.type | book | |
oapen.identifier.doi | 10.5445/KSP/1000012049 | * |
oapen.relation.isPublishedBy | 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 | * |
oapen.relation.isbn | 9783866443983 | * |
oapen.pages | 221 p. | * |
peerreview.review.type | Full text | |
peerreview.anonymity | All identities known | |
peerreview.reviewer.type | Internal editor | |
peerreview.reviewer.type | External peer reviewer | |
peerreview.review.stage | Pre-publication | |
peerreview.open.review | No | |
peerreview.publish.responsibility | Scientific or Editorial Board | |
peerreview.id | 8ad5c235-9810-49eb-b358-27c8675324d9 | |
peerreview.title | Dissertations (Dissertationen) |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |