BEC782B9-9644-4C57-8312-D25C8869930EVerifying anonymity and privacy properties of security protocolsResearch GrantEP/E040829/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL1347618D3AEA64-DD91-4DE0-87D2-940EA69E81BATrustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papersa4bd95d532154c28432bb46a6972d945Cheval V2014-01-01http://dx.doi.org/10.1007/978-3-662-45917-1_6978-3-662-45916-4http://dx.doi.org/10.1007/978-3-662-45917-1_6Tests for Establishing Security Properties82-96Book Chapter56cb35f66da209.41680830