@conference{154056,
  author = {Paul Black and P Windley},
  title = {Formal Verification of Secure Programs in the Presence of Side Effects},
  year = {1998},
  number = {3},
  month = {1998-01-01},
  publisher = {Proceedings of the Thirty-First Annual Hawaii International Conference on Systems Science, Kohala Coast, Hawaii, January 6-9, 1998},
  language = {en},
}