Andere Kunden interessierten sich auch für
![Detection of Intrusions and Malware, and Vulnerability Assessment]( "Detection of Intrusions and Malware, and Vulnerability Assessment")
Detection of Intrusions and Malware, and Vulnerability Assessment37,99 €![Systematic Approaches to Advanced Information Flow Analysis ¿ and Applications to Software Security]( "Systematic Approaches to Advanced Information Flow Analysis ¿ and Applications to Software Security")
Systematic Approaches to Advanced Information Flow Analysis ¿ and Applications to Software Security53,00 €![Path Problems in Networks]( "Path Problems in Networks")
Path Problems in Networks29,95 €![Geometric Optimization for Map Based Path Planning]( "Geometric Optimization for Map Based Path Planning")
Geometric Optimization for Map Based Path Planning51,99 €![Verification of Object-Oriented Software. The KeY Approach]( "Verification of Object-Oriented Software. The KeY Approach")
Verification of Object-Oriented Software. The KeY Approach78,99 €![Structure and Motion Recovery under Difficult Imaging Conditions]( "Structure and Motion Recovery under Difficult Imaging Conditions")
Structure and Motion Recovery under Difficult Imaging Conditions53,99 €![Analysis and recognition of human actions with flow features and temporal models]( "Analysis and recognition of human actions with flow features and temporal models")
Analysis and recognition of human actions with flow features and temporal models43,00 €
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.