|
This thesis presents several precise techniques that analyze object-oriented languages for security violations, together with evaluations on Java benchmarks. The key question that will be targeted throughout this work is “Can a given statement directly or indirectly influence another statement, and if this is possible, how can this influence happen during program execution?” Several branches of computer science ask slight variations of this question, but the basic idea remains the same for all their targeted problems. A seminal technique to answer the first part of the question has been presented by Weiser [Wei84] which has been coined program slicing. Program slicing as presented by Weiser and many other authors, determines the set of statements that potentially affect the execution of a given statement.
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. |
|
|
OpenGL ES 3.0 Programming Guide (2nd Edition)
OpenGL® ES™ is the industry’s leading software interface and graphics library for rendering sophisticated 3D graphics on handheld and embedded devices. The newest version, OpenGL ES 3.0, makes it possible to create stunning visuals for new games and apps, without compromising device performance or... | | Component Models and Systems for Grid Applications.(Coregrid)Component Models and Systems for Grid Applications is the essential reference for the most current research on Grid technologies. This first volume of the CoreGRID series addresses such vital issues as the architecture of the Grid, the way software will influence the development of the Grid, and the practical applications of... | | Tcl and Tk Programming for the Absolute BeginnerTcl/Tk is enjoying a resurgence of popularity and interest in the computing community due to the fact that it is relatively easy to learn, powerful, fast, permits rapid development, and runs on all computing platforms. Until now, there has not been a guide book available that teaches Tcl/Tk to those with little or no programming experience.... |
|