Inproceedings,

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

, , , and .
ICICS, volume 2229 of Lecture Notes in Computer Science, page 292-303. Springer, (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews