![Cryptographic protocol / DolevYao model / Communications protocol / Decidability / Philosophy / Abstraction / Computing Cryptographic protocol / DolevYao model / Communications protocol / Decidability / Philosophy / Abstraction / Computing](https://www.pdfsearch.io/img/4e473999e58d27834c5d4bc277c862cb.jpg) Date: 2014-07-17 09:25:52Cryptographic protocol DolevYao model Communications protocol Decidability Philosophy Abstraction Computing | | On Well-founded Security Protocols (Extended Abstract) Sibylle Fr¨oschle OFFIS & University of Oldenburg, Germany Email: Consider the decidability problem that stands behindAdd to Reading ListSource URL: software.imdea.orgDownload Document from Source Website File Size: 52,77 KBShare Document on Facebook
|