@InProceedings{ccs98,
  author = 	 {Allen Goldberg},
  title = 	 {A Specification of {Java} Loading
                  and Bytecode Verification},
  booktitle = 	 {Proc.\ 5th {ACM} Conference on
                  Computer and Communications Security ({CCS'98})},
  pages = 	 {49--58},
  year = 	 {1998},
  month = 	 {November}
}