Back to Results
First PageMeta Content
Cryptographic 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 behind
Add to Reading List

Document Date: 2014-07-17 09:25:52


Open Document

File Size: 52,77 KB

Share Result on Facebook