{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T12:07:32Z","timestamp":1744805252952,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030750770"},{"type":"electronic","value":"9783030750787"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-75078-7_28","type":"book-chapter","created":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T09:06:00Z","timestamp":1619773560000},"page":"270-279","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Formal Methods to Analyze Energy Efficiency and Security for IoT: A Systematic Review"],"prefix":"10.1007","author":[{"given":"Luciana Pereira","family":"Oliveira","sequence":"first","affiliation":[]},{"given":"Arley Willer Neves","family":"da Silva","sequence":"additional","affiliation":[]},{"given":"Lucas Pereira","family":"de Azevedo","sequence":"additional","affiliation":[]},{"given":"Maria Vit\u00f3ria Lima","family":"da Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,5,1]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","unstructured":"Almeida, J.B., Frade, M.J., Pinto, J.S., Melo de Sousa, S.: An overview of formal methods tools and techniques. In: Rigorous Software Development. Undergraduate Topics in Computer Science. Springer, London (2011). https:\/\/doi.org\/10.1007\/978-0-85729-018-2_2","DOI":"10.1007\/978-0-85729-018-2_2"},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s100090100072","volume":"4","author":"H Hermanns","year":"2003","unstructured":"Hermanns, H., Katoen, J., Meyer-Kayser, J., et al.: A tool for model-checking Markov chains. STTT 4, 153\u2013172 (2003). https:\/\/doi.org\/10.1007\/s100090100072","journal-title":"STTT"},{"key":"28_CR3","unstructured":"Chavan, A.A., Nighot, M.K.: Secure and cost-effective application layer protocol with authentication interoperability for IoT. In: International Conference on Information Security, Privacy (ICISP 2015), 11\u201312 December 2015, Nagpur, India (2015)"},{"key":"28_CR4","unstructured":"Jimenez, D.M., Viladrosa, R.C., Sanchez, M.A.H.: Formal Proof: Understanding, writing and evaluating proofs. http:\/\/openaccess.uoc.edu\/proofs.pdf"},{"key":"28_CR5","unstructured":"Hopcroft, J.E., Ullman, J.D., Motwani, R.: Introdu\u00e7\u00e3o \u00e0 Teoria de Aut\u00f4matos, Linguagens e Computa\u00e7\u00e3o. Translation 2a. edition. Editora Campus (2001)"},{"key":"28_CR6","doi-asserted-by":"publisher","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.) Advanced Information Networking and Applications. AINA 2020. Advances in Intelligent Systems and Computing, vol. 1151. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-44041-1_20","DOI":"10.1007\/978-3-030-44041-1_20"},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.adhoc.2015.01.002","volume":"32","author":"ORM Boudia","year":"2015","unstructured":"Boudia, O.R.M., Senouci, S.M., Feham, M.: A novel secure aggregation scheme for wireless sensor networks using stateful public key cryptography. Ad Hoc Netw. 32, 98\u2013113 (2015). https:\/\/doi.org\/10.1016\/j.adhoc.2015.01.002","journal-title":"Ad Hoc Netw."},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1016\/j.future.2018.01.029","volume":"93","author":"AS Sani","year":"2018","unstructured":"Sani, A.S., Yuan, D., Jin, J., Gao, L., Yu, S., Dong, Z.Y.: Cyber security framework for internet of things-based energy internet. Future Gener. Comput. Syst. 93, 849\u2013859 (2018). https:\/\/doi.org\/10.1016\/j.future.2018.01.029","journal-title":"Future Gener. Comput. Syst."},{"issue":"4","key":"28_CR9","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1049\/iet-ifs.2012.0292","volume":"7","author":"HR Dhasian","year":"2013","unstructured":"Dhasian, H.R., Balasubramanian, P.: Survey of data aggregation techniques using soft computing in wireless sensor networks. IET Inf. Secur. 7(4), 336\u2013342 (2013). https:\/\/doi.org\/10.1049\/iet-ifs.2012.0292","journal-title":"IET Inf. Secur."}],"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-030-75078-7_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,10]],"date-time":"2021-06-10T11:17:46Z","timestamp":1623323866000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-75078-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030750770","9783030750787"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-75078-7_28","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"1 May 2021","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":"Toronto, ON","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 May 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 May 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"35","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aina2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/voyager.ce.fit.ac.jp\/conf\/aina\/2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}