{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T11:51:14Z","timestamp":1752666674891,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/smc.2016.7844255","type":"proceedings-article","created":{"date-parts":[[2017,2,10]],"date-time":"2017-02-10T15:57:47Z","timestamp":1486742267000},"page":"000282-000289","source":"Crossref","is-referenced-by-count":4,"title":["Formal reasoning on authentication in security protocols"],"prefix":"10.1109","author":[{"given":"Jaouhar","family":"Fattahi","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Mejri","sequence":"additional","affiliation":[]},{"given":"Ridha","family":"Ghayoula","sequence":"additional","affiliation":[]},{"given":"Emil","family":"Pricop","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"152","author":"patel","year":"2010","journal-title":"Recent Trends in Network Security and Applications Third International Conference CNSA 2010 Chennai India July 23–25 2010 Proceedings ch Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.07.007"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0377-y"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-1998-61-204"},{"key":"ref14","first-page":"938","article-title":"Chaotic protocols","author":"mejri","year":"2004","journal-title":"Computational Science and Its Applications-ICCSA 2004 International Conference Assisi Italy May 14–17 2004 Proceedings Part I"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46666-7_16"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.37"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2015.18"},{"key":"ref4","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 Tunis Tunisia"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ECAI.2015.7301205"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.1998.738652"},{"key":"ref5","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":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1998.683159"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-32525-5_1"},{"journal-title":"Analyse des Protocoles Cryptographiques par les Fonctions Témoins","year":"2016","author":"fattahi","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0385-y"}],"event":{"name":"2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","start":{"date-parts":[[2016,10,9]]},"location":"Budapest, Hungary","end":{"date-parts":[[2016,10,12]]}},"container-title":["2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7830913\/7844217\/07844255.pdf?arnumber=7844255","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T20:55:08Z","timestamp":1513198508000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7844255\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/smc.2016.7844255","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}