{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:05:06Z","timestamp":1730297106902,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/smc.2017.8123025","type":"proceedings-article","created":{"date-parts":[[2017,11,30]],"date-time":"2017-11-30T17:22:47Z","timestamp":1512062567000},"page":"2649-2654","source":"Crossref","is-referenced-by-count":3,"title":["Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose?"],"prefix":"10.1109","author":[{"given":"Jaouhar","family":"Fattahi","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Mejri","sequence":"additional","affiliation":[]},{"given":"Marwa","family":"Ziadia","sequence":"additional","affiliation":[]},{"given":"Takwa","family":"Omrani","sequence":"additional","affiliation":[]},{"given":"Emil","family":"Pricop","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2008.11.004"},{"journal-title":"Analyse des Protocoles Cryptographiques par les Fonctions Témoins","year":"2016","author":"fattahi","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2016.7844255"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ECAI.2015.7301205"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2015.213"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2016.0304"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-32525-5_1"},{"key":"ref17","first-page":"33","article-title":"Relaxed Conditions for Secrecy in a Role-Based Specification","volume":"1","author":"fattahi","year":"2014","journal-title":"International Journal of Information Security"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.1998.738652"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44881-0_12"},{"key":"ref6","first-page":"34","article-title":"Secrecy by witness functions","author":"fattahi","year":"2014","journal-title":"the 5th Proceedings of the Formal Methods for Security FMS'2014 Workshop co-located with the PetriNets-2014 Conference"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref8","first-page":"184","article-title":"Ensuring the correctness of cryptographic protocols with respect to secrecy","author":"houmani","year":"2008","journal-title":"SECRYPT"},{"key":"ref7","first-page":"157","article-title":"Practical and universal interpretation functions for secrecy","author":"houmani","year":"2007","journal-title":"SECRYPT"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1656242.1656244"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9208-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1155\/2012\/254942"}],"event":{"name":"2017 IEEE International Conference on Systems, Man and Cybernetics (SMC)","start":{"date-parts":[[2017,10,5]]},"location":"Banff, AB","end":{"date-parts":[[2017,10,8]]}},"container-title":["2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8114675\/8122565\/08123025.pdf?arnumber=8123025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T18:15:36Z","timestamp":1516212936000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8123025\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/smc.2017.8123025","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}