@TechReport{	  mantel:new:2000,
  address	= {Berkeley, California},
  author	= {Heiko Mantel},
  institution	= {IEEE Symposium on Security and Privacy},
  month		= {May 14-17},
  note		= {The full paper appeared in 2000 at CSFW},
  title		= {A new framework for possibilistic security - A summary -
		  ABSTRACT},
  year		= 2000
}