@Article{	  mantel.ea:unifying:2003,
  author	= {Heiko Mantel and Andrei Sabelfeld},
  journal	= {Journal of Computer Security},
  language	= {USenglish},
  month		= 10,
  number	= 4,
  title		= {A Unifying Approach to the Security of Distributed and
		  Multi-threaded Programs},
  volume	= 11,
  year		= 2003
}