Search dblp for Publications

export results for "Implementation and Verification of Programmable Security."

 download as .bib file

@inproceedings{DBLP:conf/dbsec/MagillSPH02,
  author       = {Stephen Magill and
                  Bradley Skaggs and
                  Mauricio Papa and
                  John Hale},
  editor       = {Ehud Gudes and
                  Sujeet Shenoi},
  title        = {Implementation and Verification of Programmable Security},
  booktitle    = {Research Directions in Data and Applications Security, {IFIP} {WG}
                  11.3 Sixteenth International Conference on Data and Applications Security,
                  July 28-31, 2002, Kings College, Cambridge, {UK}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {256},
  pages        = {285--299},
  publisher    = {Kluwer},
  year         = {2002},
  timestamp    = {Wed, 27 Aug 2003 07:52:21 +0200},
  biburl       = {https://dblp.org/rec/conf/dbsec/MagillSPH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}