{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:17:55Z","timestamp":1730297875235,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/smc.2017.8122763","type":"proceedings-article","created":{"date-parts":[[2017,11,30]],"date-time":"2017-11-30T22:22:47Z","timestamp":1512080567000},"page":"1127-1132","source":"Crossref","is-referenced-by-count":1,"title":["Cryptographic protocol for multipart missions involving two independent and distributed decision levels in a military context"],"prefix":"10.1109","author":[{"given":"Jaouhar","family":"Fattahi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Mejri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marwa","family":"Ziadia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elies","family":"Ghayoula","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ouejdene","family":"Samoud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emil","family":"Pricop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_6"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55220-5_38"},{"key":"ref33","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"},{"journal-title":"Analyse des Protocoles Cryptographiques par les Fonctions Témoins","year":"2016","author":"fattahi","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2016.7844255"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2016.0304"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53890-6_17"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0059-4"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46666-7_17"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ECAI.2015.7301205"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45220-1_13"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2926715"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.03.003"},{"journal-title":"Secure Transaction Protocol Analysis Models and Applications","year":"2008","author":"chen","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00144-2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49096-9_10"},{"key":"ref15","first-page":"153","author":"anderson","year":"2009","journal-title":"The Man-in-the-Middle Defence"},{"key":"ref16","first-page":"18","author":"anada","year":"2010","journal-title":"Identification Schemes of Proofs of Ability Secure against Concurrent Man-in-the-Middle Attacks"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2016.0106"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.12"},{"key":"ref19","first-page":"611","article-title":"Secrecy by typing in security protocols","volume":"46","author":"abadi","year":"1998","journal-title":"Journal of the ACM"},{"key":"ref28","first-page":"363","author":"ramanujam","year":"2003","journal-title":"Tagging Makes Secrecy Decidable with Unbounded Nonces as Well"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2989250.2989259"},{"key":"ref27","article-title":"Using csp for protocol analysis: the needham-schroeder public-key protocol","author":"schneider","year":"1996","journal-title":"Tech Rep"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2012.2210729"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2011.092110.00088"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-32525-5_1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2009.11.006"},{"key":"ref8","first-page":"182","author":"matsuo","year":"2010","journal-title":"How to Evaluate the Security of Real-Life Cryptographic Protocols?"},{"key":"ref7","first-page":"321","author":"klein","year":"2015","journal-title":"Standardization of Cryptographic Techniques-The Influence of the Security Agencies"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2015.28"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2012.6415836"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0100-7"},{"key":"ref22","first-page":"387","article-title":"Non-repudiation of forwarding-traceability of confidential data via multiple recipients","author":"schick","year":"2012","journal-title":"SECRYPT 2012 International Conference on Security and Cryptography"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1049\/iet-ifs.2009.0086"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.018"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2013.03.001"},{"key":"ref26","first-page":"147","author":"lowe","year":"1996","journal-title":"Breaking and Fixing the Needham-schroeder Public-key Protocol Using FDR"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2000.856942"}],"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\/08122763.pdf?arnumber=8122763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T23:14:41Z","timestamp":1516230881000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8122763\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/smc.2017.8122763","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}