@inproceedings{DBLP:conf/ccs/SistlaVZB08,
  author    = {A. Prasad Sistla and
               V. N. Venkatakrishnan and
               Michelle Zhou and
               Hilary Branske},
  title     = {CMV: automatic verification of complete mediation for java
               virtual machines},
  booktitle = {ASIACCS},
  year      = {2008},
  pages     = {100-111},
  ee        = {http://doi.acm.org/10.1145/1368310.1368327},
  crossref  = {DBLP:conf/ccs/2008asia},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ccs/2008asia,
  editor    = {Masayuki Abe and
               Virgil D. Gligor},
  title     = {Proceedings of the 2008 ACM Symposium on Information, Computer
               and Communications Security, ASIACCS 2008, Tokyo, Japan,
               March 18-20, 2008},
  booktitle = {ASIACCS},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-59593-979-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}