BibTeX record conf/issse3/AntonCCBJK06

download as .bib file

@inproceedings{DBLP:conf/issse3/AntonCCBJK06,
  author       = {John Anton and
                  Martin Croxford and
                  Alessandro Coglio and
                  Janet Barnes and
                  Randy Johnson and
                  Tim Kremann},
  editor       = {Samuel T. Redwine Jr.},
  title        = {Two Demonstrations of Economical {EAL5+} Development for Tokeneer},
  booktitle    = {2006 {IEEE} International Symposium on Secure Software Engineering,
                  {ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
  year         = {2006},
  timestamp    = {Mon, 08 Apr 2024 12:31:21 +0200},
  biburl       = {https://dblp.org/rec/conf/issse3/AntonCCBJK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics