Knygos.lt nariams
Knygos.lt nariams
- Išsiųsime per 12–18 d.d.
/images/books/13444950/9783866443983.jpg)
- Autorius: Christian Hammer
- Leidėjas: Karlsruher Institut für Technologie
- ISBN-10: 3866443986
- ISBN-13: 9783866443983
- Formatas: 14.8 x 21 x 1.2 cm, minkšti viršeliai
- Kalba: Anglų
Atsiliepimai
Aprašymas
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.
- Autorius: Christian Hammer
- Leidėjas: Karlsruher Institut für Technologie
- ISBN-10: 3866443986
- ISBN-13: 9783866443983
- Formatas: 14.8 x 21 x 1.2 cm, minkšti viršeliai
- Kalba: Anglų
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.
Atsiliepimai