@Article{bauer+:jmsspe,
  author = 	 {Lujo Bauer and Andrew W. Appel and Edward W. Felten},
  title = 	 {Mechanisms for Secure Modular Programming in {J}ava},
  journal = 	 {Software---Practice and Experience},
  year = 	 2003,
  volume =       {33},
  number =       {5},
  pages =        {461--480},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/jms-spe03.pdf},
  doi =          {10.1002/spe.516},
  publisher =    {Wiley},
  copyright =    {Wiley},
}