@TechReport{	  tr:OchoaPapeRuhrothSprickStenzelSudbrock2012a,
  author	= {Martin Ochoa and Sebastian Pape and Thomas Ruhroth and
		  Barbara Sprick and Kurt Stenzel and Henning Sudbrock},
  title		= {{Report on the RS3 Topic Workshop ``Security Properties in
		  Software Engineering''}},
  institution	= {Universit\"at Augsburg},
  year		= {2012},
  number	= {2012-02},
  howpublished	= {\url{http://opus.bibliothek.uni-augsburg.de/volltexte/2012/1865}}
}