{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T19:51:41Z","timestamp":1744314701881},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T00:00:00Z","timestamp":1636502400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T00:00:00Z","timestamp":1636502400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mobile Netw Appl"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s11036-021-01850-1","type":"journal-article","created":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T03:04:32Z","timestamp":1636513472000},"page":"2258-2271","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing"],"prefix":"10.1007","volume":"26","author":[{"given":"Jiaqi","family":"Yin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Fei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,10]]},"reference":[{"issue":"4","key":"1850_CR1","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MCE.2016.2590118","volume":"5","author":"D Sabella","year":"2016","unstructured":"Sabella D, Vaillant A, Kuure P, Rauschenbach U, Giust F (2016) Mobile-edge computing architecture: The role of MEC in the Internet of things. IEEE Consumer Electron Mag 5(4):84\u201391","journal-title":"IEEE Consumer Electron Mag"},{"key":"1850_CR2","doi-asserted-by":"crossref","unstructured":"Tong L, Li Y, Gao WA (2016) Hierarchical edge cloud architecture for mobile computing. In: Proc. the 35th Annual IEEE International Conference on Computer Communications, April 10-14, pp 1\u20139","DOI":"10.1109\/INFOCOM.2016.7524340"},{"issue":"5","key":"1850_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/2831347.2831354","volume":"45","author":"PG L\u00f3pez","year":"2015","unstructured":"L\u00f3pez PG, Montresor A, Epema DHJ, Datta A, Higashino T, Iamnitchi A, Barcellos MP, Felber P, Rivi\u00e8re E (2015) Edge-centric computing: vision and challenges. Comput Commun Rev 45(5):37\u201342","journal-title":"Comput Commun Rev"},{"key":"1850_CR4","doi-asserted-by":"crossref","unstructured":"Ogiela U (2020) Cognitive cryptography for data security in cloud computing. Concurr. Comput. Pract. Exp., 32(18)","DOI":"10.1002\/cpe.5557"},{"key":"1850_CR5","doi-asserted-by":"crossref","unstructured":"Namasudra S (2019) An improved attribute-based encryption technique towards the data security in cloud computing. Concurr. Comput. Pract. Exp., 31(3)","DOI":"10.1002\/cpe.4364"},{"issue":"7","key":"1850_CR6","doi-asserted-by":"publisher","first-page":"9203","DOI":"10.1007\/s11042-017-5301-x","volume":"77","author":"BB Gupta","year":"2018","unstructured":"Gupta BB, Yamaguchi S, Agrawal DP (2018) Advances in security and privacy of multimedia big data in mobile and cloud computing. Multim. Tools Appl. 77(7):9203\u20139208","journal-title":"Multim. Tools Appl."},{"key":"1850_CR7","doi-asserted-by":"crossref","unstructured":"Tong W, Jiang B, Xu F, Li Q, Zhong S (2019) Privacy-preserving data integrity verification in mobile edge computing. In: Proc. the 39th IEEE International Conference on Distributed Computing Systems, July 7-10, pp 1007\u20131018","DOI":"10.1109\/ICDCS.2019.00104"},{"key":"1850_CR8","doi-asserted-by":"crossref","unstructured":"Kaur K, Garg S, Kaddoum G, Guizani M, Jayakody DNK (2019) A lightweight and Privacy-preserving authentication protocol for mobile edge computing. In: Proc. IEEE Global Communications Conference, December 9-13, pp 1\u20136","DOI":"10.1109\/GLOBECOM38437.2019.9013856"},{"issue":"1","key":"1850_CR9","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.entcs.2005.06.003","volume":"135","author":"K Imamoto","year":"2005","unstructured":"Imamoto K, Sakurai K (2005) Design and analysis of diffie-hellman-based key exchange using one-time ID by SVO logic. Electron. Notes Theor Comput Sci 135(1):79\u201394","journal-title":"Notes Theor Comput Sci"},{"issue":"1","key":"1850_CR10","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/32.481514","volume":"22","author":"N Heintze","year":"1996","unstructured":"Heintze N, Tygar JD (1996) A model for secure protocols and their compositions. IEEE Trans Software Eng 22(1):16\u201330","journal-title":"IEEE Trans Software Eng"},{"key":"1850_CR11","doi-asserted-by":"crossref","unstructured":"Gong L, Needham RM, Yahalom R (1990) Reasoning about belief in cryptographic protocols. In: Proc. IEEE Symposium on Security and Privacy May 7-9, pp 234\u2013248","DOI":"10.1109\/RISP.1990.63854"},{"key":"1850_CR12","doi-asserted-by":"crossref","unstructured":"Burrows M, Abadi M, Needham RMA (1989) Logic of authentication. In: Andrews GR (ed) Proc. the 12th ACM Symposium on Operating System Principles, December 3-6, pp 1\u201313","DOI":"10.1145\/74851.74852"},{"key":"1850_CR13","doi-asserted-by":"crossref","unstructured":"Abadi M, Tuttle MRA (1991) Semantics for a logic of authentication (extended abstract). In: Logrippo L (ed) Proc. the 10th Annual ACM Symposium on Principles of Distributed Computing, August 19-21, pp 201\u2013216","DOI":"10.1145\/112600.112618"},{"key":"1850_CR14","doi-asserted-by":"crossref","unstructured":"Oorschot PC (1993) Extending cryptographic logics of belief to key agreement protocols. In: Denning DE, Pyle R, Ganesan R, Sandhu RS, Ashby V (eds) Proc. the 1st ACM Conference on Computer and Communications Security, November 3-5, pp 232\u2013243","DOI":"10.1145\/168588.168617"},{"issue":"3","key":"1850_CR15","first-page":"26","volume":"2","author":"I You","year":"2011","unstructured":"You I, Hori Y, Sakurai K, Enhancing SVO (2011) Logic for mobile IPv6 security protocols. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 2(3):26\u201352","journal-title":"J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl."},{"key":"1850_CR16","unstructured":"Buttyan L (1999) Formal methods in the design of cryptographic protocols (state of the art) technical report"},{"key":"1850_CR17","doi-asserted-by":"crossref","unstructured":"Vigan\u00f3 L (2005) Automated security protocol analysis with the AVISPA tool. In: Proc. the 21st Annual Conference on Mathematical Foundations of Programming Semantics, May 18-21, pp 61\u201386","DOI":"10.1016\/j.entcs.2005.11.052"},{"issue":"9","key":"1850_CR18","doi-asserted-by":"publisher","first-page":"89:1","DOI":"10.1007\/s10916-015-0265-8","volume":"39","author":"O Mir","year":"2015","unstructured":"Mir O, Weide TP, Lee C (2015) A secure user anonymity and authentication scheme using AVISPA for telecare medical information systems. J Medical Syst 39(9):89:1\u201389:16","journal-title":"J Medical Syst"},{"issue":"6","key":"1850_CR19","doi-asserted-by":"publisher","first-page":"1077","DOI":"10.1002\/sec.1063","volume":"8","author":"AN Ravari","year":"2015","unstructured":"Ravari AN, Fallah MS (2015) A nonmonotonic modal authorization logic for pervasive computing. Scur Commun Networks 8(6):1077\u20131091","journal-title":"Scur Commun Networks"},{"issue":"1","key":"1850_CR20","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s00446-013-0202-3","volume":"28","author":"L Hella","year":"2015","unstructured":"Hella L, J\u00e4rvisalo M, Kuusisto A, Laurinharju J, Lempi\u00e4inen T, Luosto K, Suomela J, Virtema J (2015) Weak models of distributed computing, with connections to modal logic. Distributed Comput 28(1):31\u201353","journal-title":"Distributed Comput"},{"issue":"3","key":"1850_CR21","doi-asserted-by":"publisher","first-page":"1162","DOI":"10.1007\/s11036-019-01435-z","volume":"25","author":"Y Fei","year":"2020","unstructured":"Fei Y, Zhu H, Vinh PC (2020) Security analysis of the access control solution of NDN using BAN logic. Mob Networks Appl 25(3):1162\u20131173","journal-title":"Mob Networks Appl"},{"key":"1850_CR22","unstructured":"Coffey T, Dojen R, Flanagan T (2003) On the automated implementation of modal logics used to verify security protocols. In: Proc. the 1st International Symposium on Information and Communication Technologies, September 24-26, vol 49, pp 329\u2013334"},{"issue":"6","key":"1850_CR23","doi-asserted-by":"publisher","first-page":"2287","DOI":"10.1587\/transcom.E92.B.2287","volume":"92-B","author":"I You","year":"2009","unstructured":"You I, Sakurai K, Hori Y (2009) A security analysis on kempf-koodli\u2019s security scheme for fast mobile IPv6. IEICE Trans Commun 92-B(6):2287\u20132290","journal-title":"IEICE Trans Commun"},{"issue":"15-16","key":"1850_CR24","doi-asserted-by":"publisher","first-page":"10851","DOI":"10.1007\/s11042-019-08558-1","volume":"79","author":"D Liu","year":"2020","unstructured":"Liu D, Shen J, Vijayakumar P, Wang A, Zhou T (2020) Efficient data integrity auditing with corrupted data recovery for edge computing in enterprise multimedia security. Multim Tools Appl 79 (15-16):10851\u201310870","journal-title":"Multim Tools Appl"},{"key":"1850_CR25","doi-asserted-by":"crossref","unstructured":"Echeverr\u00eda S, Klinedinst D, Williams K, Lewis GA (2016) Establishing trusted identities in disconnected edge environments. In: Proc. IEEE\/ACM Symposium on Edge Computing, October 27-28, pp 51\u201363","DOI":"10.1109\/SEC.2016.27"},{"key":"1850_CR26","doi-asserted-by":"crossref","unstructured":"Bhardwaj K, Shih M, Agarwal P, Gavrilovska A, Kim T, Schwan K (2016) Fast, Scalable and secure onloading of edge functions using airbox. In: Proc. IEEE\/ACM Symposium on Edge Computing, October 27-28, pp 14\u201327","DOI":"10.1109\/SEC.2016.15"},{"key":"1850_CR27","doi-asserted-by":"crossref","unstructured":"Deswarte Y, Quisquater J, Sa\u00efdane A (2003) Remote integrity checking - how to trust files stored on untrusted servers. In: Proc. the 6th Working Conference on Integrity and Internal Control in Information Systems, November 13-14, pp 1\u201311","DOI":"10.1007\/1-4020-7901-X_1"},{"key":"1850_CR28","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.comcom.2020.03.006","volume":"155","author":"MB Moses","year":"2020","unstructured":"K A, Moses MB (2020) An efficient SG-DACM framework for data integrity with user revocation in role based multiuser cloud environment. Comput. Commun. 155:84\u201392","journal-title":"Comput. Commun."},{"key":"1850_CR29","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1016\/j.future.2020.03.032","volume":"109","author":"N Garg","year":"2020","unstructured":"Garg N, Bawa S, Kumar N (2020) An efficient data integrity auditing protocol for cloud computing. Future Gener Comput. Syst. 109:306\u2013316","journal-title":"Future Gener Comput. Syst."},{"key":"1850_CR30","doi-asserted-by":"crossref","unstructured":"Almuhaideb AM, Srinivasan B, Le PD, Wilson C, Malhotra V (2012) Analysis of mobile authentication protocols by SVO logic. In: Proc. the 1st International Conference on Security of Internet of Things, August 17-19, pp 126\u2013134","DOI":"10.1145\/2490428.2490446"},{"key":"1850_CR31","doi-asserted-by":"crossref","unstructured":"Alegria JAH, Bastarrica MC, Bergel A (2010) Analyzing the scrum process model with AVISPA. In: Proc. the 29th International Conference of the Chilean Computer Science Society, November 15-19, pp 60\u201365","DOI":"10.1109\/SCCC.2010.18"},{"key":"1850_CR32","doi-asserted-by":"crossref","unstructured":"Mohamadi HE, Kara N, Lagha M (2018) Formal verification of RGR-SEC, a secured RGR routing for UAANETs using AVISPA, Scyther and Tamarin. In: Proc. the 4th International Conference on Future Network Systems and Security, July 9-11, pp 3\u201316","DOI":"10.1007\/978-3-319-94421-0_1"},{"key":"1850_CR33","doi-asserted-by":"crossref","unstructured":"Aciobanitei I, Guinea R, Pura M (2018) AVISPA versus AVANTSSAR in the model checking of secure communication protocols. In: Proc. the 15th International Joint Conference on e-Business and Telecommunications, July 26-28, pp 686\u2013691","DOI":"10.5220\/0006887906860691"},{"issue":"7","key":"1850_CR34","first-page":"7940","volume":"69","author":"J Zhang","year":"2020","unstructured":"Zhang J, Zhong H, Cui J, Tian M, Xu Y, Liu L (2020) Edge computing-based privacy-preserving authentication framework and protocol for 5G-enabled vehicular networks. IEEE Trans Veh Edge computing-based privacy-preserving authentication Technol 69(7):7940\u20137954","journal-title":"IEEE Trans Veh Edge computing-based privacy-preserving authentication Technol"}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-021-01850-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11036-021-01850-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-021-01850-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,14]],"date-time":"2022-02-14T08:29:01Z","timestamp":1644827341000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11036-021-01850-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,10]]},"references-count":34,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["1850"],"URL":"https:\/\/doi.org\/10.1007\/s11036-021-01850-1","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"value":"1383-469X","type":"print"},{"value":"1572-8153","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,10]]},"assertion":[{"value":"8 June 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 November 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}