@inproceedings{DBLP:conf/srds/StevensCSAMSP04,
  author    = {Fabrice Stevens and
               Tod Courtney and
               Sankalp Singh and
               Adnan Agbaria and
               John F. Meyer and
               William H. Sanders and
               Partha Pratim Pal},
  title     = {Model-Based Validation of an Intrusion-Tolerant Information
               System},
  booktitle = {SRDS},
  year      = {2004},
  pages     = {184-194},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/RELDIS.2004.1353019},
  crossref  = {DBLP:conf/srds/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/srds/2004,
  title     = {23rd International Symposium on Reliable Distributed Systems
               (SRDS 2004), 18-20 October 2004, Florianpolis, Brazil},
  booktitle = {SRDS},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2239-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}