Principles of secure information flow analysis Other Scholarly Work

cited authors

  • Smith, Geoffrey

authors

publication date

  • January 1, 2007

keywords

  • Computer Science
  • Computer Science, Information Systems
  • PROBABILISTIC NONINTERFERENCE
  • PROGRAMS
  • Science & Technology
  • Technology

WoS ID

  • 000245403000013

start page

  • 291

end page

  • 307