@InProceedings{	  mantel:unwinding-possibilistic-security-properties:2000,
  address	= {Toulouse, France},
  author	= {Heiko Mantel},
  booktitle	= {European Symposium on Research in Computer Security
		  (ESORICS)},
  editor	= {F.~Cuppens and Y.~Deswarte and D.~Gollmann and
		  M.~Waidner},
  month		= {October 4--6},
  pages		= {238--254},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2000/2000esorics.pdf},
  ps		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2000/2000esorics.ps.zip},
  publisher	= {Springer},
  series	= {LNCS 1895},
  title		= {{Unwinding Possibilistic Security Properties}},
  year		= 2000
}