@Misc{		  bollmann:security,
  author	= {Dominik Bollmann},
  title		= {Security Type Inference for the Type-Based Information
		  Flow Analysis of Java Programs},
  institution	= {TU Darmstadt},
  year		= 2012,
  howpublished	= {Bachelor's thesis, TU Darmstadt}
}