An information-leak analysis system based on program slicing

For programs using secret information such as credit card numbers, preventing information-leaks is important. Denning, for example, has proposed a mechanism to certify that a given program does not violate a security policy. Kuninobu, on the other hand, has proposed a more practical framework for ca...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Information and software technology 2002-12, Vol.44 (15), p.903-910
Hauptverfasser:	Yokomori, Reishi, Ohata, Fumiaki, Takata, Yoshiaki, Seki, Hiroyuki, Inoue, Katsuro
Format:	Artikel
Sprache:	eng
Schlagworte:	Data security Information-leak analysis Procedural language Program dependence graph Program slice Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!