Login / Signup

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

Shigeta KuninobuYoshiaki TakataHiroyuki SekiKatsuro Inoue
Published in: ICICS (2001)
Keyphrases
  • prior knowledge
  • flow analysis
  • statistical information
  • information flow
  • social networks
  • query processing
  • data driven
  • business processes
  • transformation rules