Secure Information Flow for Distributed Systems Conference

Alpizar, Rafael, Smith, Geoffrey. (2010). Secure Information Flow for Distributed Systems . EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 5983 126-140.

keywords

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

Location

  • Eindhoven, NETHERLANDS

International Standard Book Number (ISBN) 13

Conference

  • 6th International Workshop on Formal Aspects in Security and Trust

publisher

  • SPRINGER-VERLAG BERLIN

start page

  • 126

end page

  • 140

volume

  • 5983