DBLP Record 'conf/csfw/Volpano99'

BibTeX

@inproceedings{DBLP:conf/csfw/Volpano99,
  author    = {Dennis M. Volpano},
  title     = {Formalization and Proof of Secrecy Properties},
  booktitle = {CSFW},
  year      = {1999},
  pages     = {92-95},
  ee        = {http://www.computer.org/proceedings/csfw/0201/02010092abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}