DBLP Record 'conf/ccs/DoanDTK04'

BibTeX

@inproceedings{DBLP:conf/ccs/DoanDTK04,
  author    = {Thuong Doan and
               Steven A. Demurjian and
               T. C. Ting and
               Andreas Ketterl},
  title     = {MAC and UML for secure software design},
  booktitle = {FMSE},
  year      = {2004},
  pages     = {75-85},
  ee        = {http://doi.acm.org/10.1145/1029133.1029144},
  crossref  = {DBLP:conf/ccs/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ccs/2004,
  editor    = {Vijayalakshmi Atluri and
               Michael Backes and
               David A. Basin and
               Michael Waidner},
  title     = {Proceedings of the 2004 ACM Workshop on Formal Methods in
               Security Engineering, FMSE 2004, Washingtion, DC, USA, October
               29, 2004},
  booktitle = {FMSE},
  publisher = {ACM},
  year      = {2004},
  isbn      = {1-58113-971-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}