Publication
Unwinding Possibilistic Security Properties
Heiko Mantel
In: F.Cuppens; Y.Deswarte; D.Gollmann; M.Waidner (Hrsg.). European Symposium on Research in Computer Security (ESORICS). European Symposium on Computer Security (ESORICS), Toulouse, Pages 238-254, LNCS 1895, Springer, 10/2000.