{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:23:47Z","timestamp":1740122627373,"version":"3.37.3"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T00:00:00Z","timestamp":1557273600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Wireless Pers Commun"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s11277-019-06499-4","type":"journal-article","created":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T12:34:02Z","timestamp":1557318842000},"page":"1841-1868","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Novel Protocol for Security of Location Based Services in Multi-agent Systems"],"prefix":"10.1007","volume":"108","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1353-4138","authenticated-orcid":false,"given":"Hussam","family":"Al-Hamadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chan Yeob","family":"Yeun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed Jamal","family":"Zemerly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahmoud","family":"Al-Qutayri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amjad","family":"Gawanmeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yousof","family":"Al-Hammadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,8]]},"reference":[{"key":"6499_CR1","doi-asserted-by":"publisher","first-page":"13192","DOI":"10.1109\/ACCESS.2017.2725984","volume":"5","author":"AE Fazziki","year":"2017","unstructured":"Fazziki, A. E., Benslimane, D., Sadiq, A., Ouarzazi, J., & Sadgal, M. (2017). An agent based traffic regulation system for the roadside air quality control. IEEE Access, 5, 13192\u201313201.","journal-title":"IEEE Access"},{"issue":"9","key":"6499_CR2","doi-asserted-by":"publisher","first-page":"3703","DOI":"10.1007\/s13369-015-1927-z","volume":"41","author":"Z Cai","year":"2016","unstructured":"Cai, Z., Zhang, Y., Wu, M., & Cai, D. (2016). An entropy-robust optimization of mobile commerce system based on multi-agent system. Arabian Journal for Science and Engineering, 41(9), 3703\u20133715.","journal-title":"Arabian Journal for Science and Engineering"},{"issue":"4","key":"6499_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1109\/MCSE.2004.13","volume":"6","author":"N Boudriga","year":"2004","unstructured":"Boudriga, N., & Obaidat, M. S. (2004). Intelligent agents on the web: A review. Computing in Science Engineering, 6(4), 35\u201342.","journal-title":"Computing in Science Engineering"},{"key":"6499_CR4","first-page":"171","volume-title":"A proposal of a multi-agent system implementation for the control of an assistant personal robot","author":"D Mart\u00ednez","year":"2016","unstructured":"Mart\u00ednez, D., Clotet, E., Moreno, J., Tresanchez, M., & Palac\u00edn, J. (2016). A proposal of a multi-agent system implementation for the control of an assistant personal robot (pp. 171\u2013179). Cham: Springer."},{"issue":"1","key":"6499_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.jnca.2016.06.010","volume":"72","author":"SS Chaudhari","year":"2016","unstructured":"Chaudhari, S. S., & Biradar, R. C. (2016). Traffic and mobility aware resource prediction using cognitive agent in mobile ad hoc networks. Journal of Network and Computer Applications, 72(1), 87\u2013103.","journal-title":"Journal of Network and Computer Applications"},{"issue":"1","key":"6499_CR6","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.jnca.2013.01.008","volume":"37","author":"W Niu","year":"2014","unstructured":"Niu, W., Li, G., Tong, E., Yang, X., Chang, L., Shi, Z., et al. (2014). Interaction relationships of caches in agent-based HD video surveillance: Discovery and utilization. Journal of Network and Computer Applications, 37(1), 155\u2013169.","journal-title":"Journal of Network and Computer Applications"},{"issue":"4","key":"6499_CR7","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1109\/TII.2011.2166781","volume":"7","author":"M Metzger","year":"2011","unstructured":"Metzger, M., & Polakow, G. (2011). A survey on applications of agent technology in industrial process control. IEEE Transactions on Industrial Informatics, 7(4), 570\u2013581.","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"4","key":"6499_CR8","doi-asserted-by":"publisher","first-page":"93","DOI":"10.4236\/jcc.2016.44008","volume":"4","author":"C Jain","year":"2016","unstructured":"Jain, C., & Saxena, A. (2016). General study of mobile agent based intrusion detection system (IDS). Journal of Computer and Communications, 4(4), 93\u201398.","journal-title":"Journal of Computer and Communications"},{"issue":"2","key":"6499_CR9","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1109\/JSYST.2013.2292192","volume":"9","author":"G Geetha","year":"2015","unstructured":"Geetha, G., & Jayakumar, C. (2015). Implementation of trust and reputation management for free-roaming mobile agent security. IEEE Systems Journal, 9(2), 556\u2013566.","journal-title":"IEEE Systems Journal"},{"key":"6499_CR10","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz, A. (2019). A review of security mechanisms for multi-agent systems: Security challenges in multi-agent systems. In Artificial intelligence and security challenges in emerging networks (pp. 38\u201362). IGI Global.","DOI":"10.4018\/978-1-5225-7353-1.ch002"},{"key":"6499_CR11","doi-asserted-by":"crossref","unstructured":"Al-Hamadi, H. M. N., Yeun, C.\u00a0Y., Zemerly, M.\u00a0J., & Al-Qutayri, M. (2011). Distributed lightweight Kerberos protocol for mobile agent systems. In IEEE GCC conference and exhibition (pp. 233\u2013236).","DOI":"10.1109\/IEEEGCC.2011.5752502"},{"key":"6499_CR12","unstructured":"Al-Hamadi, H. M. N., Yeun, C. Y., Zemerly, M. J., Al-Qutayri, M. A., & Gawanmeh, A. (2011). Formal modeling and verification of DLK protocol. In 2011 International conference for internet technology and secured transactions (pp. 578\u2013583)."},{"issue":"1","key":"6499_CR13","doi-asserted-by":"publisher","first-page":"256","DOI":"10.20533\/ijisr.2042.4639.2013.0031","volume":"3","author":"HMN Al-Hamadi","year":"2013","unstructured":"Al-Hamadi, H. M. N., Yeun, C. Y., Zemerly, M. J., Al-Qutayri, M. A., & Gawanmeh, A. (2013). Verifying mutual authentication for the DLK protocol using ProVerif tool. International Journal for Information Security Research, 3(1), 256\u2013265.","journal-title":"International Journal for Information Security Research"},{"key":"6499_CR14","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-030-15154-6_6","volume-title":"Information technology for management: Emerging research and applications","author":"VH Subburaj","year":"2019","unstructured":"Subburaj, V. H., & Urban, J. E. (2019). Specifying security requirements in multi-agent systems using the descartes-agent specification language and AUML. In E. Ziemba (Ed.), Information technology for management: Emerging research and applications (pp. 93\u2013111). Cham: Springer."},{"key":"6499_CR15","doi-asserted-by":"crossref","unstructured":"Subburaj, V. H., & Urban, J. E. (2018). Applying formal methods to specify security requirements in multi-agent systems. In 2018 Federated conference on computer science and information systems (FedCSIS) (pp. 707\u2013714). IEEE.","DOI":"10.15439\/2018F262"},{"key":"6499_CR16","unstructured":"Board, F. (2018). The current set of standard FIPA specifications. \n                    http:\/\/www.fipa.org\/repository\/standardspecs.html\n                    \n                  . Accessed 1 Aug 2018."},{"key":"6499_CR17","unstructured":"Bellifemine, F., Trucco, T., Giovanni, C., & Rimassa, G. (2010). JADE programmer\u2019s guide. \n                    http:\/\/jade.tilab.com\/doc\/programmersguide.pdf\n                    \n                  . Accessed 1 Aug 2018."},{"key":"6499_CR18","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1017\/S1471068405002358","volume":"5","author":"M Thielscher","year":"2005","unstructured":"Thielscher, M. (2005). Flux: A logic programming method for reasoning agents. Theory and Practice of Logic Programming, 5, 533\u2013565.","journal-title":"Theory and Practice of Logic Programming"},{"key":"6499_CR19","first-page":"175","volume-title":"Jack\u2122 intelligent agents: An industrial strength platform","author":"M Winikoff","year":"2005","unstructured":"Winikoff, M. (2005). Jack\u2122 intelligent agents: An industrial strength platform (pp. 175\u2013193). Boston, MA: Springer."},{"key":"6499_CR20","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-25936-7_6","volume-title":"Programming multi-agent systems","author":"M Dastani","year":"2004","unstructured":"Dastani, M., van Riemsdijk, M. B., Dignum, F., & Meyer, J.-J. C. (2004). A programming language for cognitive agents goal directed 3APL. In M. M. Dastani, J. Dix, & A. El Fallah-Seghrouchni (Eds.), Programming multi-agent systems (pp. 111\u2013130). Berlin: Springer."},{"key":"6499_CR21","first-page":"143","volume-title":"BDI agent programming in agentspeak using Jason, ser. CLIMA\u201905","author":"RH Bordini","year":"2006","unstructured":"Bordini, R. H., & H\u00fcbner, J. F. (2006). BDI agent programming in agentspeak using Jason, ser. CLIMA\u201905 (pp. 143\u2013164). Berlin: Springer."},{"issue":"6","key":"6499_CR22","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/2.214440","volume":"26","author":"MC Rinard","year":"1993","unstructured":"Rinard, M. C., Scales, D. J., & Lam, M. S. (1993). JADE: A high-level, machine-independent language for parallel programming. Computer, 26(6), 28\u201338.","journal-title":"Computer"},{"issue":"1","key":"6499_CR23","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1186\/s13174-015-0026-4","volume":"6","author":"N Fotiou","year":"2015","unstructured":"Fotiou, N., Machas, A., Polyzos, G. C., & Xylomenos, G. (2015). Access control as a service for the cloud. Journal of Internet Services and Applications, 6(1), 11.","journal-title":"Journal of Internet Services and Applications"},{"key":"6499_CR24","unstructured":"Blanchet, B., Cheval, V., Smyth, B. & Sylvestre, M. (2017). ProVerif 1.97: Automatic cryptographic protocol verifier, user manual and tutorial. \n                    http:\/\/www.proverif.ens.fr\/manual.pdf\n                    \n                  . Accessed 1 Aug 2018."},{"key":"6499_CR25","doi-asserted-by":"crossref","unstructured":"Backes, M., Maffei, M., & Unruh, D. (2008). Zero-knowledge in the applied pi-calculus and automated verification of the direct anonymous attestation protocol. In 2008 IEEE symposium on security and privacy (sp 2008) (pp. 202\u2013215).","DOI":"10.1109\/SP.2008.23"},{"key":"6499_CR26","doi-asserted-by":"publisher","first-page":"3376","DOI":"10.1109\/ACCESS.2017.2673239","volume":"5","author":"Q Jiang","year":"2017","unstructured":"Jiang, Q., Zeadally, S., Ma, J., & He, D. (2017). Lightweight three-factor authentication and key agreement protocol for internet-integrated wireless sensor networks. IEEE Access, 5, 3376\u20133392.","journal-title":"IEEE Access"},{"issue":"4","key":"6499_CR27","doi-asserted-by":"publisher","first-page":"5097","DOI":"10.1007\/s11277-017-4147-x","volume":"95","author":"H Al-Hamadi","year":"2017","unstructured":"Al-Hamadi, H., Gawanmeh, A., Baek, J., & Al-Qutayri, M. (2017). Lightweight security protocol for ECG bio-sensors. Wireless Personal Communications, 95(4), 5097\u20135120.","journal-title":"Wireless Personal Communications"},{"key":"6499_CR28","first-page":"54","volume-title":"Automatic verification of security protocols in the symbolic model: The verifier ProVerif","author":"B Blanchet","year":"2014","unstructured":"Blanchet, B. (2014). Automatic verification of security protocols in the symbolic model: The verifier ProVerif (pp. 54\u201387). Cham: Springer."},{"issue":"12","key":"6499_CR29","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"RM Needham","year":"1978","unstructured":"Needham, R. M., & Schroeder, M. D. (1978). Using encryption for authentication in large networks of computers. Communications of the ACM, 21(12), 993\u2013999.","journal-title":"Communications of the ACM"},{"issue":"1","key":"6499_CR30","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/2.108052","volume":"25","author":"TYC Woo","year":"1992","unstructured":"Woo, T. Y. C., & Lam, S. S. (1992). Authentication for distributed systems. Computer, 25(1), 39\u201352.","journal-title":"Computer"},{"key":"6499_CR31","doi-asserted-by":"crossref","unstructured":"Bansal, C., Bhargavan, K., & Maffeis, S. (2012). Discovering concrete attacks on website authorization by formal analysis. In 2012 IEEE 25th computer security foundations symposium (pp. 247\u2013262).","DOI":"10.1109\/CSF.2012.27"},{"issue":"1","key":"6499_CR32","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/MIC.2012.11","volume":"16","author":"B Leiba","year":"2012","unstructured":"Leiba, B. (2012). Oauth web authorization protocol. IEEE Internet Computing, 16(1), 74\u201377.","journal-title":"IEEE Internet Computing"},{"key":"6499_CR33","doi-asserted-by":"crossref","unstructured":"Abadi, M., & Needham, R. (1994). Prudent engineering practice for cryptographic protocols. In IEEE computer society symposium on research in security and privacy (pp. 122\u2013136).","DOI":"10.1109\/RISP.1994.296587"},{"key":"6499_CR34","doi-asserted-by":"crossref","unstructured":"Bellovin, S. M., & Merritt, M. (1992). Encrypted key exchange: Password-based protocols secure against dictionary attacks. In IEEE computer society symposium on research in security and privacy (pp. 72\u201384).","DOI":"10.1109\/RISP.1992.213269"},{"key":"6499_CR35","unstructured":"Bellovin, S. M., & Merritt, M. (1993). Augmented encrypted key exchange: A password-based protocol secure against dictionary attacks and password file compromise. In Proceedings of the 1st ACM conference on computer and communications security, ser. CCS \u201993 (pp. 244\u2013250). New York, NY: ACM."},{"issue":"4","key":"6499_CR36","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1049\/iet-ifs.2009.0217","volume":"4","author":"F Raji","year":"2010","unstructured":"Raji, F., & Ladani, B. T. (2010). Anonymity and security for autonomous mobile agents. IET Information Security, 4(4), 397\u2013410.","journal-title":"IET Information Security"},{"issue":"1","key":"6499_CR37","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.jisa.2013.12.002","volume":"19","author":"W-C Kuo","year":"2014","unstructured":"Kuo, W.-C., Wei, H.-J., & Cheng, J.-C. (2014). An efficient and secure anonymous mobility network authentication scheme. Journal of Information Security and Applications, 19(1), 18\u201324.","journal-title":"Journal of Information Security and Applications"},{"key":"6499_CR38","doi-asserted-by":"crossref","unstructured":"Calvaresi, D., Appoggetti, K., Lustrissimi, L., Marinoni, M., Sernani, P., Dragoni, A. F., & Schumacher, M. (2018). Multi-agent systems\u2019 negotiation protocols for cyber-physical systems: Results from a systematic literature review. In ICAART (1) (pp. 224\u2013235).","DOI":"10.5220\/0006594802240235"},{"issue":"2","key":"6499_CR39","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/s10922-010-9175-8","volume":"19","author":"C-H Fong","year":"2011","unstructured":"Fong, C.-H., Parr, G., & Morrow, P. (2011). Security schemes for a mobile agent based network and system management framework. JJournal of Network and Systems Management, 19(2), 230\u2013256.","journal-title":"JJournal of Network and Systems Management"},{"issue":"6","key":"6499_CR40","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1016\/j.jnca.2010.03.010","volume":"33","author":"S Venkatesan","year":"2010","unstructured":"Venkatesan, S., Chellappan, C., Vengattaraman, T., Dhavachelvan, P., & Vaish, A. (2010). Advanced mobile agent security models for code integrity and malicious availability check. Journal of Network and Computer Applications, 33(6), 661\u2013671.","journal-title":"Journal of Network and Computer Applications"},{"issue":"2","key":"6499_CR41","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.jss.2008.05.018","volume":"82","author":"C Garrigues","year":"2009","unstructured":"Garrigues, C., Migas, N., Buchanan, W., Robles, S., & Borrell, J. (2009). Protecting mobile agents from external replay attacks. Journal of Systems and Software, 82(2), 197\u2013206.","journal-title":"Journal of Systems and Software"},{"issue":"Supplement C","key":"6499_CR42","doi-asserted-by":"publisher","first-page":"1171","DOI":"10.1016\/j.proeng.2012.01.977","volume":"30","author":"K Dhanalakshmi","year":"2012","unstructured":"Dhanalakshmi, K., & Nawaz, G. K. (2012). Matrix hop mobile agent (MHMA) system for e-service applications. Procedia Engineering, 30(Supplement C), 1171\u20131178.","journal-title":"Procedia Engineering"},{"key":"6499_CR43","doi-asserted-by":"crossref","unstructured":"Albelaihy, A., & Cazalas, J. (2017). A survey of the current trends of privacy techniques employed in protecting the location privacy of users in LBSs. In 2017 2nd international conference on anti-cyber crimes (ICACC) (pp. 19\u201324).","DOI":"10.1109\/Anti-Cybercrime.2017.7905256"},{"key":"6499_CR44","doi-asserted-by":"crossref","unstructured":"Niu, B., Li, Q., Zhu, X., & Li, H. (2014). A fine-grained spatial cloaking scheme for privacy-aware users in location-based services. In 2014 23rd international conference on computer Communication and networks (ICCCN) (pp. 1\u20138).","DOI":"10.1109\/ICCCN.2014.6911813"},{"issue":"11","key":"6499_CR45","doi-asserted-by":"publisher","first-page":"2524","DOI":"10.1109\/TMC.2018.2811481","volume":"17","author":"J Chen","year":"2018","unstructured":"Chen, J., He, K., Yuan, Q., Chen, M., Du, R., & Xiang, Y. (2018). Blind filtering at third parties: An efficient privacy-preserving framework for location-based services. IEEE Transactions on Mobile Computing, 17(11), 2524\u20132535.","journal-title":"IEEE Transactions on Mobile Computing"},{"issue":"10","key":"6499_CR46","doi-asserted-by":"publisher","first-page":"9458","DOI":"10.1109\/TVT.2017.2703631","volume":"66","author":"M Ghaffari","year":"2017","unstructured":"Ghaffari, M., Ghadiri, N., Manshaei, M. H., & Lahijani, M. S. (2017). $$p^4qs$$: A peer-to-peer privacy preserving query service for location-based mobile applications. IEEE Transactions on Vehicular Technology, 66(10), 9458\u20139469.","journal-title":"IEEE Transactions on Vehicular Technology"},{"issue":"6","key":"6499_CR47","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MIC.2003.1250582","volume":"7","author":"B Pfitzmann","year":"2003","unstructured":"Pfitzmann, B., & Waidner, M. (2003). Analysis of liberty single-sign-on with enabled clients. IEEE Internet Computing, 7(6), 38\u201344.","journal-title":"IEEE Internet Computing"},{"issue":"5","key":"6499_CR48","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1145\/381906.381946","volume":"20","author":"SM Bellovin","year":"1990","unstructured":"Bellovin, S. M., & Merritt, M. (1990). Limitations of the Kerberos authentication system. ACM SIGCOMM Computer Communication Review, 20(5), 119\u2013132.","journal-title":"ACM SIGCOMM Computer Communication Review"},{"key":"6499_CR49","doi-asserted-by":"crossref","unstructured":"Sulaiman, R., Huang, X., & Sharma, D. (2009). E-health services with secure mobile agent. In 2009 seventh annual communication networks and services research conference (pp. 270\u2013277).","DOI":"10.1109\/CNSR.2009.49"},{"key":"6499_CR50","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.jnca.2013.01.004","volume":"37","author":"S Srivastava","year":"2014","unstructured":"Srivastava, S., & Nandi, G. (2014). Self-reliant mobile code: A new direction of agent security. Journal of Network and Computer Applications, 37, 62\u201375.","journal-title":"Journal of Network and Computer Applications"}],"container-title":["Wireless Personal Communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11277-019-06499-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11277-019-06499-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11277-019-06499-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,6]],"date-time":"2020-05-06T23:21:32Z","timestamp":1588807292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11277-019-06499-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,8]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["6499"],"URL":"https:\/\/doi.org\/10.1007\/s11277-019-06499-4","relation":{},"ISSN":["0929-6212","1572-834X"],"issn-type":[{"type":"print","value":"0929-6212"},{"type":"electronic","value":"1572-834X"}],"subject":[],"published":{"date-parts":[[2019,5,8]]},"assertion":[{"value":"8 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}