{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:24:22Z","timestamp":1772119462759,"version":"3.50.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,3,17]],"date-time":"2023-03-17T00:00:00Z","timestamp":1679011200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,3,17]],"date-time":"2023-03-17T00:00:00Z","timestamp":1679011200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1007\/s10207-023-00665-3","type":"journal-article","created":{"date-parts":[[2023,3,26]],"date-time":"2023-03-26T20:49:40Z","timestamp":1679863780000},"page":"961-985","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["LDES: detector design for version number attack detection using linear temporal logic based on discrete event system"],"prefix":"10.1007","volume":"22","author":[{"given":"Abhay Deep","family":"Seth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santosh","family":"Biswas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amit Kumar","family":"Dhar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,3,17]]},"reference":[{"key":"665_CR1","unstructured":"http:\/\/www.eecs.harvard.edu\/konrad\/projects\/shimmer\/references\/tmote-sky-datasheet.pdf. MoteivCorporation,Tmote Sky: Datasheet"},{"key":"665_CR2","unstructured":"Nusmv[online]. http:\/\/www.nusmv.fbk.eu"},{"key":"665_CR3","doi-asserted-by":"publisher","DOI":"10.3390\/s20215997","author":"AZ Almusaylim","year":"2020","unstructured":"Almusaylim, A.Z., Jhanjhi, N., Alhumam, A.: Detection and mitigation of RPL rank and version number attacks in the Internet of Things: Srpl-rp. Sensors (2020). https:\/\/doi.org\/10.3390\/s20215997","journal-title":"Sensors"},{"issue":"3","key":"665_CR4","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1109\/JAS.2017.7510379","volume":"6","author":"M Agarwal","year":"2019","unstructured":"Agarwal, M., Biswas, S., Nandi, S.: Discrete event system framework for fault diagnosis with measurement inconsistency: case study of rogue DHCP attack. IEEE\/CAA J. Automatica Sinica 6(3), 789\u2013806 (2019). https:\/\/doi.org\/10.1109\/JAS.2017.7510379","journal-title":"IEEE\/CAA J. Automatica Sinica"},{"key":"665_CR5","doi-asserted-by":"publisher","unstructured":"Ahmed, F., Ko, Y.: A distributed and cooperative verification mechanism to defend against dodag version number attack in RPL. In: Proceedings of the 6th international joint conference on pervasive and embedded computing and communication systems\u2014PEC, (PECCS 2016), pp. 55\u201362 (2016). https:\/\/doi.org\/10.5220\/0005930000550062","DOI":"10.5220\/0005930000550062"},{"key":"665_CR6","doi-asserted-by":"publisher","unstructured":"Alexander, R., Brandt, A., Vasseur, J., Hui, J., Pister, K., Thubert, P., Levis, P., Struik, R., Kelsey, R., Winter, T.: RPL: IPv6 routing protocol for low-power and lossy networks. RFC 6550 (2012). DOI: https:\/\/doi.org\/10.17487\/RFC6550.https:\/\/www.rfc-editor.org\/info\/rfc6550","DOI":"10.17487\/RFC6550."},{"key":"665_CR7","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1016\/j.jisa.2017.11.002","volume":"38","author":"M Ammar","year":"2018","unstructured":"Ammar, M., Russello, G., Crispo, B.: Internet of things: a survey on the security of IoT frameworks. J. Inf. Secur. Appl. 38, 8\u201327 (2018). https:\/\/doi.org\/10.1016\/j.jisa.2017.11.002","journal-title":"J. Inf. Secur. Appl."},{"key":"665_CR8","doi-asserted-by":"publisher","unstructured":"Ar\u015f, A., \u00f6rs Yal\u00e7, S.B., Oktu\u011f, S.F.: New lightweight mitigation techniques for RPL version number attacks. Ad Hoc Netw 85: 81\u201391 (2019). DOI: https:\/\/doi.org\/10.1016\/j.adhoc.2018.10.022.","DOI":"10.1016\/j.adhoc.2018.10.022."},{"key":"665_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10207-019-00445-y","volume":"19","author":"P Aufner","year":"2020","unstructured":"Aufner, P.: The IoT security gap: a look down into the valley between threat models and their implementation. Int. J. Inf. Secur. 19, 3\u201314 (2020). https:\/\/doi.org\/10.1007\/s10207-019-00445-y","journal-title":"Int. J. Inf. Secur."},{"key":"665_CR10","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2021.108040","volume":"192","author":"L Babun","year":"2021","unstructured":"Babun, L., Denney, K., Celik, Z.B., McDaniel, P., Uluagac, A.S.: A survey on IoT platforms: communication, security, and privacy perspectives. Comput. Netw. 192, 108040 (2021). https:\/\/doi.org\/10.1016\/j.comnet.2021.108040","journal-title":"Comput. Netw."},{"key":"665_CR11","unstructured":"Chugh, K., Lasebae, A., Loo, J.: Case study of a black hole attack on 6lowpan-rpl. In: SECURE 2012, Sixth international conference emerging secure information, system technology, pp. 157\u2013162 (2012)"},{"key":"665_CR12","doi-asserted-by":"publisher","unstructured":"de Souza, C.A., Westphall, C.B., Machado, R.B., Sobral, J.B.M., dos Santos\u00a0Vieira, G.: Hybrid approach to intrusion detection in fog-based IoT environments. Comput. Netw. 180, 107417 (2020). https:\/\/doi.org\/10.1016\/j.comnet.2020.107417","DOI":"10.1016\/j.comnet.2020.107417"},{"issue":"10","key":"665_CR13","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/MCOM.2002.1039859","volume":"40","author":"H Deng","year":"2002","unstructured":"Deng, H., Li, W., Agrawal, D.: Routing security in wireless Ad hoc networks. IEEE Commun. Mag. 40(10), 70\u201375 (2002). https:\/\/doi.org\/10.1109\/MCOM.2002.1039859","journal-title":"IEEE Commun. Mag."},{"key":"665_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2020.102467","volume":"52","author":"N Djedjig","year":"2020","unstructured":"Djedjig, N., Tandjaoui, D., Medjek, F., Romdhani, I.: Trust-aware and cooperative routing protocol for IOT security. J. Inf. Secur. Appl. 52, 102467 (2020). https:\/\/doi.org\/10.1016\/j.jisa.2020.102467","journal-title":"J. Inf. Secur. Appl."},{"key":"665_CR15","doi-asserted-by":"crossref","unstructured":"Dvir, A., Holczer, T., Buttyan, L.: Vera\u2014version number and rank authentication in RPL. In: 2011 IEEE Eighth international conference on mobile Ad-Hoc and sensor systems, pp. 709\u2013714 (2011)","DOI":"10.1109\/MASS.2011.76"},{"key":"665_CR16","volume-title":"Model Checking","author":"J Edmund","year":"1999","unstructured":"Edmund, J., Clarke, M., Grumberg, O., Kroening, D., Peled, D., Veith, H.: Model Checking. MIT Press Cambridge, MA, USA (1999)"},{"key":"665_CR17","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-030-11914-0_2","volume-title":"Smart Data and Computational Intelligence","author":"A El Ksimi","year":"2019","unstructured":"El Ksimi, A., Leghris, C.: A new ipv6 security approach for a local network. In: Khoukhi, F., Bahaj, M., Ezziyyani, M. (eds.) Smart Data and Computational Intelligence, pp. 17\u201326. Springer, Cham (2019)"},{"key":"665_CR18","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s10207-019-00438-x","volume":"19","author":"D Ferraris","year":"2020","unstructured":"Ferraris, D., Fernandez-Gago, C.: Trustapis: a trust requirements elicitation method for IoT. Int. J. Inf. Secur. 19, 111\u2013127 (2020). https:\/\/doi.org\/10.1007\/s10207-019-00438-x","journal-title":"Int. J. Inf. Secur."},{"key":"665_CR19","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2020.107233","volume":"174","author":"K Hofer-Schmitz","year":"2020","unstructured":"Hofer-Schmitz, K., Stojanovi\u0107, B.: Towards formal verification of IoT protocols: a review. Comput. Netw. 174, 107233 (2020). https:\/\/doi.org\/10.1016\/j.comnet.2020.107233","journal-title":"Comput. Netw."},{"issue":"1","key":"665_CR20","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.isatra.2010.08.003","volume":"50","author":"N Hubballi","year":"2011","unstructured":"Hubballi, N., Biswas, S., Roopa, S., Ratti, R., Nandi, S.: Lan attack detection using discrete event systems. ISA Trans. 50(1), 119\u2013130 (2011). https:\/\/doi.org\/10.1016\/j.isatra.2010.08.003","journal-title":"ISA Trans."},{"key":"665_CR21","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1016\/j.jisa.2017.04.001","volume":"35","author":"N Hubballi","year":"2017","unstructured":"Hubballi, N., Tripathi, N.: An event based technique for detecting spoofed ip packets. J. Inf. Secur. Appl. 35, 32\u201343 (2017). https:\/\/doi.org\/10.1016\/j.jisa.2017.04.001","journal-title":"J. Inf. Secur. Appl."},{"issue":"6","key":"665_CR22","doi-asserted-by":"publisher","first-page":"934","DOI":"10.1109\/TAC.2004.829616","volume":"49","author":"S Jiang","year":"2004","unstructured":"Jiang, S., Kumar, R.: Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. IEEE Trans. Automat. Control 49(6), 934\u2013945 (2004). https:\/\/doi.org\/10.1109\/TAC.2004.829616","journal-title":"IEEE Trans. Automat. Control"},{"key":"665_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2021.107840","volume":"188","author":"IF Kilincer","year":"2021","unstructured":"Kilincer, I.F., Ertam, F., Sengur, A.: Machine learning methods for cyber security intrusion detection: datasets and comparative study. Comput. Netw. 188, 107840 (2021). https:\/\/doi.org\/10.1016\/j.comnet.2021.107840","journal-title":"Comput. Netw."},{"issue":"3","key":"665_CR24","doi-asserted-by":"publisher","first-page":"459","DOI":"10.6633\/IJNS.201605.18(3).07","volume":"18","author":"A Mayzaud","year":"2016","unstructured":"Mayzaud, A., Badonnel, R., Chrisment, I.: A taxonomy of attacks in RPL-based Internet of Things. Int. J. Netw. Secur. 18(3), 459\u2013473 (2016). https:\/\/doi.org\/10.6633\/IJNS.201605.18(3).07","journal-title":"Int. J. Netw. Secur."},{"key":"665_CR25","doi-asserted-by":"publisher","DOI":"10.1002\/nem.1898","author":"A Mayzaud","year":"2015","unstructured":"Mayzaud, A., Sehgal, A., Badonnel, R., Chrisment, I., Sch\u00f6nw\u00e4lder, J.: Mitigation of topological inconsistency attacks in RPL based low power lossy networks. Int. J. Netw. Manag. (2015). https:\/\/doi.org\/10.1002\/nem.1898","journal-title":"Int. J. Netw. Manag."},{"key":"665_CR26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2021.102939","volume":"61","author":"F Medjek","year":"2021","unstructured":"Medjek, F., Tandjaoui, D., Djedjig, N., Romdhani, I.: Multicast dis attack mitigation in RPL-based IoT-LLNS. J. Inf. Secur. Appl. 61, 102939 (2021). https:\/\/doi.org\/10.1016\/j.jisa.2021.102939","journal-title":"J. Inf. Secur. Appl."},{"key":"665_CR27","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/s13119-013-0019-1","volume":"2","author":"M Mitra","year":"2013","unstructured":"Mitra, M., Banerjee, P., Barbhuiya, F.A., Biswas, S., Nandi, S.: Ids for ARP spoofing using ltl based discrete event system framework. Netw. Sci. 2, 114\u2013134 (2013). https:\/\/doi.org\/10.1007\/s13119-013-0019-1","journal-title":"Netw. Sci."},{"key":"665_CR28","doi-asserted-by":"publisher","unstructured":"Montenegro, G., Hui, J., Culler, D., Kushalnagar, N.: Transmission of IPv6 packets over IEEE 802.15.4 networks. RFC 4944 (2007). https:\/\/doi.org\/10.17487\/RFC4944.https:\/\/www.rfc-editor.org\/info\/rfc4944","DOI":"10.17487\/RFC4944."},{"key":"665_CR29","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th annual symposium on foundations of computer science (sfcs 1977), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"issue":"8","key":"665_CR30","doi-asserted-by":"publisher","first-page":"2661","DOI":"10.1016\/j.adhoc.2013.04.014","volume":"11","author":"S Raza","year":"2013","unstructured":"Raza, S., Wallgren, L., Voigt, T.: Svelte: real-time intrusion detection in the Internet of Things. Ad Hoc Netw. 11(8), 2661\u20132674 (2013). https:\/\/doi.org\/10.1016\/j.adhoc.2013.04.014","journal-title":"Ad Hoc Netw."},{"key":"665_CR31","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.future.2021.01.033","volume":"119","author":"L Rosa","year":"2021","unstructured":"Rosa, L., Cruz, T., de Freitas, M.B., Quit\u00e9rio, P., Henriques, J., Caldeira, F., Monteiro, E., Sim\u00f5es, P.: Intrusion and anomaly detection for the next-generation of industrial automation and control systems. Future Gener. Comput. Syst. 119, 50\u201367 (2021). https:\/\/doi.org\/10.1016\/j.future.2021.01.033","journal-title":"Future Gener. Comput. Syst."},{"issue":"9","key":"665_CR32","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. Automat. Control 40(9), 1555\u20131575 (1995). https:\/\/doi.org\/10.1109\/9.412626","journal-title":"IEEE Trans. Automat. Control"},{"key":"665_CR33","doi-asserted-by":"publisher","unstructured":"Seth, A.D., Biswas, S., Dhar, A.K.: De-authentication attack detection using discrete event systems in 802.11 wi-fi networks. In: 2019 IEEE international conference on advanced networks and telecommunications systems (ANTS), pp. 1\u20136 (2019). https:\/\/doi.org\/10.1109\/ANTS47819.2019.9118100","DOI":"10.1109\/ANTS47819.2019.9118100"},{"key":"665_CR34","doi-asserted-by":"publisher","unstructured":"Simoglou, G., Violettas, G., Petridou, S., Mamatas, L.: Intrusion detection systems for RPL security: a comparative analysis. Comput. Secur. 104, 102219 (2021). https:\/\/doi.org\/10.1016\/j.cose.2021.102219","DOI":"10.1016\/j.cose.2021.102219"},{"key":"665_CR35","doi-asserted-by":"publisher","unstructured":"Tsao, T., Alexander, R., Dohler, M., Daza, V., Lozano, A., Richardson, M.: A security threat analysis for the routing protocol for low-power and lossy networks (RPLs). RFC 7416 (2015). https:\/\/doi.org\/10.17487\/RFC7416","DOI":"10.17487\/RFC7416"},{"key":"665_CR36","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-38082-2_14","volume":"7858","author":"S Ziegler","year":"2013","unstructured":"Ziegler, S., Crettaz, C., Ladid, L., Krco, S., Pokric, B., Skarmeta, A.F., Jara, A., Kastner, W., Jung, M.: Iot6 - moving to an ipv6-based future IoT. Future Internet LNCS 7858, 161\u2013172 (2013)","journal-title":"Future Internet LNCS"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-023-00665-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10207-023-00665-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-023-00665-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,25]],"date-time":"2023-07-25T21:08:44Z","timestamp":1690319324000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10207-023-00665-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,17]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["665"],"URL":"https:\/\/doi.org\/10.1007\/s10207-023-00665-3","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-908617\/v1","asserted-by":"object"}]},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"value":"1615-5262","type":"print"},{"value":"1615-5270","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,17]]},"assertion":[{"value":"17 March 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"All author declares that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}