Principles of secure information flow analysis Other Scholarly Work

Smith, Geoffrey. (2007). Principles of secure information flow analysis . 291-307.

cited authors

  • Smith, Geoffrey

authors

publication date

  • January 1, 2007

keywords

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

Location

  • VA, Arlington

publisher

  • SPRINGER

start page

  • 291

end page

  • 307