Unwinding Possibilistic Security Properties

@inproceedings{pub1535,
    author = {

Mantel, Heiko
},
    editor = {

F.Cuppens,
 and 

Y.Deswarte,
 and 

D.Gollmann,
 and 

M.Waidner,
},
    title = {Unwinding Possibilistic Security Properties},
    booktitle = {European Symposium on Research in Computer Security (ESORICS). European Symposium on Computer Security (ESORICS), Toulouse},
    series = {LNCS 1895},
    year = {2000},
    month = {10},
    pages = {238--254},
    address = {Toulouse, France},
    publisher = {Springer}
}