DBLP Record 'conf/acsac/Bieber96'

BibTeX

@inproceedings{DBLP:conf/acsac/Bieber96,
  author    = {Pierre Bieber},
  title     = {Formal Techniques for an ITSEC-E4 Secure Gateway},
  booktitle = {ACSAC},
  year      = {1996},
  pages     = {236-246},
  ee        = {http://csdl.computer.org/comp/proceedings/acsac/1996/7606/00/76060236abs.htm},
  crossref  = {DBLP:conf/acsac/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/acsac/1996,
  title     = {13th Annual Computer Security Applications Conference (ACSAC
               1996), 9-13 December 1996, San Diego, CA, USA},
  booktitle = {ACSAC},
  publisher = {IEEE Computer Society},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}