{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:56:52Z","timestamp":1743019012181,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031290558"},{"type":"electronic","value":"9783031290565"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-29056-5_37","type":"book-chapter","created":{"date-parts":[[2023,3,19]],"date-time":"2023-03-19T15:02:23Z","timestamp":1679238143000},"page":"421-433","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["BAIN: Bluetooth Adaption for\u00a0IoT Device"],"prefix":"10.1007","author":[{"given":"Luciana Pereira","family":"Oliveira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cinaglia Adagles","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Djamel F. Hadj","family":"Sadok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tarciana Dias","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Auristela","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Judith","family":"Kelner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,3,20]]},"reference":[{"key":"37_CR1","unstructured":"Bluetooth Specification. http:\/\/www.bluetooth.com"},{"issue":"5","key":"37_CR2","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker spin. IEEE Trans. Software Eng. 23(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Software Eng."},{"key":"37_CR3","unstructured":"Spin Overview Document. http:\/\/spinroot.com\/spin\/whatispin.html"},{"key":"37_CR4","doi-asserted-by":"publisher","unstructured":"Menezes, A.H.S., de O, K.R.M., Oliveira, L.P., de S. Oliveira, P.J.: IoT environment to train service dogs. In: 2017 IEEE First Summer School on Smart Cities (S3C) (2017). https:\/\/doi.org\/10.1109\/s3c.2017.8501386","DOI":"10.1109\/s3c.2017.8501386"},{"key":"37_CR5","series-title":"Lecture Notes in Networks and Systems","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-030-75078-7_28","volume-title":"Advanced Information Networking and Applications","author":"LP Oliveira","year":"2021","unstructured":"Oliveira, L.P., da Silva, A.W.N., de Azevedo, L.P., da Silva, M.V.L.: Formal methods to analyze energy efficiency and security for IoT: a systematic review. In: Barolli, L., Woungang, I., Enokido, T. (eds.) AINA 2021. LNNS, vol. 227, pp. 270\u2013279. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-75078-7_28"},{"key":"37_CR6","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1109\/TC.2003.1204833","volume":"52","author":"C Petrioli","year":"2003","unstructured":"Petrioli, C., Basagni, S., Chlamtac, M.: Configuring BlueStars: multihop scatternet formation for bluetooth networks. IEEE Trans. Comput. 52, 779\u2013790 (2003)","journal-title":"IEEE Trans. Comput."},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Zaruba, G.V., Basagni, S., Chlamtac, I.: Bluetrees-scatternet formation to enable Bluetooth-based ad hoc networks. In: Proceedings of IEEE International Conference on Communications, vol. 1, pp. 273\u2013277 (2001)","DOI":"10.1109\/ICC.2001.936316"},{"key":"37_CR8","unstructured":"Lin, T.-Y., Tseng, Y.-C., Chang, K.-M., Tu, C.-L.: Formation, routing, and maintenance protocols for the bluering scatternet of bluetooths. In: Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS 2003) (2003)"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Salonidis, T., Bhagwat, P., Tassiulas, L., LaMaire, R.: Distributed topology construction of bluetooth personal area networks. In: Salonidis, T., Bhagwat, P., Tassiulas, L., LaMaire, R.: Proceeding of 20th Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM 2001, vol. 3 (2001)","DOI":"10.1109\/INFCOM.2001.916654"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Law, C., Mehta, A.K., Siu, K.Y.: Bluetooth: performance of a new Bluetooth scatternet formation protocol. In: Proceedings of ACM International Symposium on Mobile Ad Hoc Networking and Computing, pp. 183\u2013192 (2001)","DOI":"10.1145\/501416.501442"},{"key":"37_CR11","first-page":"479","volume":"21","author":"R-S Chang","year":"2005","unstructured":"Chang, R.-S., Chou, M.-T.: Blueline: a distributed bluetooth scatternet formation and routing algorithm. J. Inf. Sci. Eng. 21, 479\u2013494 (2005)","journal-title":"J. Inf. Sci. Eng."},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"Gluck, P.R., Holzmann, G.J.: Using SPIN model checking for flight software verification. In: Proceedings of IEE Aerospace Conference, vol. 1, pp. 1\u2013105\u20131\u2013113 (2002)","DOI":"10.1109\/AERO.2002.1036832"},{"key":"37_CR13","unstructured":"Khan, S., Waheed, A.: Modeling and Formal Verification of IMPP. In: SERP 2003, Las Vegas, Nevada, USA June 23\u201326 (2003)"},{"key":"37_CR14","doi-asserted-by":"crossref","unstructured":"Yongjian, L., Rui, X.: Using SPIN to model cryptographic protocols. In: Proceedings of International Conference on Information Technology: Coding and Computing, ITCC 2004, vol. 2, pp. 741\u2013745 (2004)","DOI":"10.1109\/ITCC.2004.1286745"},{"key":"37_CR15","unstructured":"Ruys, T.: Towards Effective Model Checking, Phd Thesis (2001)"},{"key":"37_CR16","unstructured":"Renesse, R., Aghvami, A.H.: Formal verification of Ad-hoc routing protocols using SPIN model checker. In: IEEE MELECON 2004, Dubrovnik, Croatia, May 12\u201315 (2004)"},{"key":"37_CR17","unstructured":"Clark, A.S., Truong, H.L.: MQTT for sensor networks (MQTT-SN) protocol specification. (2013). http:\/\/mqtt.org"},{"key":"37_CR18","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-030-44041-1_20","volume-title":"Advanced Information Networking and Applications","author":"LP Oliveira","year":"2020","unstructured":"Oliveira, L.P., Vieira, M.N., Leite, G.B., de Almeida, E.L.V.: Evaluating energy efficiency and security for internet of things: a systematic review. In: Barolli, L., Amato, F., Moscato, F., Enokido, T., Takizawa, M. (eds.) AINA 2020. AISC, vol. 1151, pp. 217\u2013228. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-44041-1_20"}],"container-title":["Lecture Notes in Networks and Systems","Advanced Information Networking and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-29056-5_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T17:02:14Z","timestamp":1729098134000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-29056-5_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031290558","9783031290565"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-29056-5_37","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"20 March 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AINA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Networking and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Juiz de Fora","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 March 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 March 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aina2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/voyager.ce.fit.ac.jp\/conf\/aina\/2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}