@dblp

An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes.

, , , und . ICICS, Volume 2229 von Lecture Notes in Computer Science, Seite 292-303. Springer, (2001)

Links und Ressourcen

Tags