Non-termination and secure information flow Article

Smith, Geoffrey, Alpizar, Rafael. (2011). Non-termination and secure information flow . MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 21(6), 1183-1205. 10.1017/S0960129511000181

cited authors

  • Smith, Geoffrey; Alpizar, Rafael

authors

publication date

  • December 1, 2011

published in

keywords

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

Digital Object Identifier (DOI)

publisher

  • CAMBRIDGE UNIV PRESS

start page

  • 1183

end page

  • 1205

volume

  • 21

issue

  • 6