Secure Information Flow for Distributed Systems Conference

Alpizar, Rafael, Smith, Geoffrey. (2010). Secure Information Flow for Distributed Systems . Lecture Notes in Computer Science, 5983 126-140.

keywords

  • Computer Science
  • Computer Science, Theory & Methods
  • PROBABILISTIC NONINTERFERENCE
  • SEMANTICS
  • Science & Technology
  • Technology

International Standard Book Number (ISBN) 13

start page

  • 126

end page

  • 140

volume

  • 5983