@inproceedings{Fro2015,
Author = {Fröschle, Sibylle},
Title = {Leakiness is Decidable for Well-Founded Protocols},

Year = {2015},
Pages = {176-196},
Publisher = {Springer-Verlag},
Series = {LNCS},
Edition = {9036},
Booktitle = {Principles of Security and Trust (POST'15)},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }