Leakiness is Decidable for Well-Founded Protocols. Fröschle, S. In Principles of Security and Trust (POST'15), volume 9036, of LNCS, pages 176–196, 2015. Springer-Verlag. bibtex @inproceedings{F:Post15,
author = {Sibylle Fr{\"o}schle},
title = {Leakiness is Decidable for Well-Founded Protocols},
booktitle = {Principles of Security and Trust ({POST}'15)},
publisher = {Springer-Verlag},
series = {LNCS},
volume = {9036},
pages = {176--196},
year = {2015},
}
Downloads: 0
{"_id":"otHnxg2J4tqdAQEuT","bibbaseid":"frschle-leakinessisdecidableforwellfoundedprotocols-2015","authorIDs":["DDbSjuFxpYtPBZrPQ"],"author_short":["Fröschle, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sibylle"],"propositions":[],"lastnames":["Fröschle"],"suffixes":[]}],"title":"Leakiness is Decidable for Well-Founded Protocols","booktitle":"Principles of Security and Trust (POST'15)","publisher":"Springer-Verlag","series":"LNCS","volume":"9036","pages":"176–196","year":"2015","bibtex":"@inproceedings{F:Post15,\nauthor = {Sibylle Fr{\\\"o}schle},\ntitle = {Leakiness is Decidable for Well-Founded Protocols},\nbooktitle = {Principles of Security and Trust ({POST}'15)},\npublisher = {Springer-Verlag},\nseries = {LNCS},\nvolume = {9036},\npages = {176--196},\nyear = {2015},\n}\n\n","author_short":["Fröschle, S."],"key":"F:Post15","id":"F:Post15","bibbaseid":"frschle-leakinessisdecidableforwellfoundedprotocols-2015","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://vhome.offis.de/sibyllef/auswahl.bib","creationDate":"2020-06-18T20:37:38.749Z","downloads":0,"keywords":[],"search_terms":["leakiness","decidable","well","founded","protocols","fröschle"],"title":"Leakiness is Decidable for Well-Founded Protocols","year":2015,"dataSources":["pTgcNZrHpC6YSb22b"]}