@Article{	  kopf.ea:transformational:2007,
  author	= {Boris K\"opf and Heiko Mantel},
  journal	= {International Journal of Information Security (IJIS)},
  language	= {USenglish},
  title		= {Transformational Typing and Unification for Automatically
		  Correcting Insecure Programs},
  year		= 2007,
  user		= {seg},
  categories	= {fmseceng:securityanalysis, fmseceng:complete}
}