Explore
Information Flow Control for Java
Christian Hammer
2009
0 Ungluers have
Faved this Work
Login to Fave
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.
This book is included in DOAB.
Why read this book? Have your say.
You must be logged in to comment.
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
This work has been downloaded 37 times via unglue.it ebook links.
- 37 - pdf (CC BY-NC-ND) at Unglue.it.
Keywords
- information flow control
- path conditions
- program dependence graph
- program slicing
- Software Security
Links
DOI: 10.5445/KSP/1000012049Editions