Wyniki wyszukiwania:

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.

Die Parochialkirche Baubeginn 1695 ist der erste bedeutende barocke Sakralbau Berlins. In der Gruftanlage unter der Kirche und auf dem umgebenden Kirchhof finden im 18. Jh. viele bedeutende Persnlichkeiten Brandenburg/Preuens ihre letzte Ruhesttte. 300 Jahre Geschichte des Kirchengebudes, der Gruft, des Kirchhofs und der Gemeinde werden beschrieben.