DBLP Record 'conf/ccs/Smith06'

BibTeX

@inproceedings{DBLP:conf/ccs/Smith06,
  author    = {Geoffrey Smith},
  title     = {Secure information flow with random assignment and encryption},
  booktitle = {FMSE},
  year      = {2006},
  pages     = {33-44},
  ee        = {http://doi.acm.org/10.1145/1180337.1180341},
  crossref  = {DBLP:conf/ccs/2006fmse},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ccs/2006fmse,
  editor    = {Marianne Winslett and
               Andrew D. Gordon and
               David Sands},
  title     = {Proceedings of the 2006 ACM workshop on Formal methods in
               security engineering, FMSE 2006, Alexandria, VA, USA, November
               3, 2006},
  booktitle = {FMSE},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-550-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}