Show simple item record

dc.contributor.authorHammer, Christian*
dc.date.accessioned2021-02-11T16:13:46Z
dc.date.available2021-02-11T16:13:46Z
dc.date.issued2009*
dc.date.submitted2019-07-30 20:01:59*
dc.identifier34930*
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/50219
dc.description.abstractInformation 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.languageEnglish*
dc.subjectQA75.5-76.95*
dc.subject.otherinformation flow control*
dc.subject.othersoftware security*
dc.subject.otherprogram slicing*
dc.subject.otherprogram dependence graph*
dc.subject.otherpath conditions*
dc.titleInformation flow control for java : a comprehensive approach based on path conditions in dependence Graphs*
dc.typebook
oapen.identifier.doi10.5445/KSP/1000012049*
oapen.relation.isPublishedBy68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2*
oapen.relation.isbn9783866443983*
oapen.pages221 p.*


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

https://creativecommons.org/licenses/by-nc-nd/4.0/
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0/