DBLP Record 'conf/sp/Mantel01'

BibTeX

@inproceedings{DBLP:conf/sp/Mantel01,
  author    = {Heiko Mantel},
  title     = {Preserving Information Flow Properties under Refinement},
  booktitle = {IEEE Symposium on Security and Privacy},
  year      = {2001},
  pages     = {78-},
  ee        = {http://computer.org/proceedings/s\%26p/1046/10460078abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}