Confinement properties for multi-threaded programs Conference

Smith, G, Volpano, D. (1999). Confinement properties for multi-threaded programs . Electronic Notes in Theoretical Computer Science, 20 132-142. 10.1016/S1571-0661(04)80071-9

cited authors

  • Smith, G; Volpano, D

abstract

  • Given a program that has access to some private information, how can we ensure that it does not improperly leak the information? We formalize the desired security property as a property called noninterference. We discuss versions of noninterference appropriate for multi-threaded programs with probabilistic scheduling and describe rules for ensuring noninterference. ©1999 Published by Elsevier Science B. V.

authors

publication date

  • December 1, 1999

published in

Digital Object Identifier (DOI)

start page

  • 132

end page

  • 142

volume

  • 20