@inproceedings{Volpano99:0,
  title = {Formalization and Proof of Secrecy Properties},
  author = {Dennis M. Volpano},
  year = {1999},
  url = {http://www.computer.org/proceedings/csfw/0201/02010092abs.htm},
  researchr = {https://researchr.org/publication/Volpano99%3A0},
  cites = {0},
  citedby = {0},
  pages = {92-95},
  booktitle = {CSFW},
}