Leakiness is Decidable for Well-Founded Protocols

BIB
Fröschle, Sibylle
Principles of Security and Trust (POST'15)
2015
inproceedings
Springer-Verlag
LNCS
176-196
CSE
Interdisciplinary Research Center on Critical Systems Engineering for Socio-Technical Systems
9036