{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T16:13:06Z","timestamp":1778947986053,"version":"3.51.4"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031681493","type":"print"},{"value":"9783031681509","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-68150-9_8","type":"book-chapter","created":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T12:02:22Z","timestamp":1724155342000},"page":"136-151","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modelling and\u00a0Analysis of\u00a0DTLS: Power Consumption and\u00a0Attacks"],"prefix":"10.1007","author":[{"given":"Lise Bech","family":"Gehlert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malthe Peter H\u00f8jen","family":"J\u00f8rgensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoffer Brejnholm","family":"Koch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"M\u00f8ller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Signe Kirstine","family":"Rusbjerg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias Worm","family":"B\u00f8gedal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9623-0748","authenticated-orcid":false,"given":"Danny B\u00f8gsted","family":"Poulsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5688-6432","authenticated-orcid":false,"given":"Ren\u00e9 Rydhof","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Lux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,21]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Banerjee, U., Juvekar, C., Fuller, S.H., Chandrakasan, A.P.: eeDTLS: energy-efficient datagram transport layer security for the internet of things. In: Proceedings of the IEEE Global Communications Conference (GLOBECOM\u00a02017), pp.\u00a01\u20136 (2017). https:\/\/doi.org\/10.1109\/GLOCOM.2017.8255053","DOI":"10.1109\/GLOCOM.2017.8255053"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Cham (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"David, A., et al.: Statistical model checking for stochastic hybrid systems. In: Proceedings of the First International Workshop on Hybrid Systems and Biology (HSB\u00a02012), pp. 122\u2013136 (2012). https:\/\/doi.org\/10.4204\/EPTCS.92.9","DOI":"10.4204\/EPTCS.92.9"},{"issue":"4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/S10009-014-0361-Y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Mikucionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397\u2013415 (2015). https:\/\/doi.org\/10.1007\/S10009-014-0361-Y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. In: Proceedings of the 22nd annual IEEE Symposium on the Foundations of Computer Science, pp. 350\u2013357 (1981)","DOI":"10.1109\/SFCS.1981.32"},{"key":"8_CR6","unstructured":"Fiterau-Brostean, P., Jonsson, B., Merget, R., de\u00a0Ruiter, J., Sagonas, K., Somorovsky, J.: Analysis of DTLS implementations using protocol state fuzzing. In: 29th USENIX Security Symposium, (USENIX Security\u00a02020), pp. 2523\u20132540 (2020)"},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Fiterau-Brostean, P., Jonsson, B., Sagonas, K., T\u00e5quist, F.: DTLS-fuzzer: a DTLS protocol state fuzzer. In: 15th IEEE Conference on Software Testing, Verification and Validation (ICST 2022), pp. 456\u2013458 (2022). https:\/\/doi.org\/10.1109\/ICST53961.2022.00051","DOI":"10.1109\/ICST53961.2022.00051"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Gamati\u00e9, A., Sassatelli, G., Mikucionis, M.: Modeling and analysis for energy-driven computing using statistical model-checking. In: Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, (DATE\u00a02021), pp. 980\u2013985 (2021). https:\/\/doi.org\/10.23919\/DATE51398.2021.9474224","DOI":"10.23919\/DATE51398.2021.9474224"},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Haroon, A., Akram, S., Shah, M.A., Wahid, A.: E-lithe: a lightweight secure DTLS for IoT. In: 2017 IEEE 86th Vehicular Technology Conference (VTC-Fall) (2017). https:\/\/doi.org\/10.1109\/VTCFall.2017.8288362","DOI":"10.1109\/VTCFall.2017.8288362"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Kim, J.Y., Holz, R., Hu, W., Jha, S.: Automated analysis of secure internet of things protocols. In: Proceedings of the 33rd Annual Computer Security Applications Conference (ACSAC\u00a02017), pp. 238\u2013249 (2017).https:\/\/doi.org\/10.1145\/3134600.3134624","DOI":"10.1145\/3134600.3134624"},{"key":"8_CR11","unstructured":"Koch, C.B., Thesbjerg, K.L., Gehlert, L.B., J\u00f8rgensen, M.P.H., Rusbjerg, S.K., M\u00f8ller, T.: IoT power consumption & DTLS modelling. Student report, Department Computer Science, Aalborg University (2024). https:\/\/github.com\/Goggon\/DTLS_Paper_Models"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Maleh, Y., Ezzati, A., Bela\u00efssaoui, M.: DoS attacks analysis and improvement in DTLS protocol for internet of things. In: Proceedings of the International Conference on Big Data and Advanced Wireless Technologies (BDAW\u00a02016), pp. 54:1\u201354:7 (2016). https:\/\/doi.org\/10.1145\/3010089.3010139","DOI":"10.1145\/3010089.3010139"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Rescorla, E.: The transport layer security (TLS) protocol version 1.3. RFC 8446 (2018). https:\/\/doi.org\/10.17487\/RFC8446, https:\/\/www.rfc-editor.org\/info\/rfc8446","DOI":"10.17487\/RFC8446"},{"key":"8_CR14","unstructured":"Tsoukaneri, G., Garcia, F., Marina, M.: Narrowband IoT device energy consumption characterization and optimizations. In: Proceedings of the International Conference on Embedded Wireless Systems and Networks (EWSN\u00a02020), pp. 1\u201312. Junction Publishing (2020). https:\/\/ewsn2020.conf.citi-lab.fr\/"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-662-45231-8_15","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"ER Wognsen","year":"2014","unstructured":"Wognsen, E.R., Hansen, R.R., Larsen, K.G.: Battery-aware scheduling of mixed criticality systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 208\u2013222. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_15"},{"key":"8_CR16","unstructured":"Younes, H.L.S.: Verification and planning for stochastic processes with asynchronous events. Ph.D. thesis, Carnegie Mellon (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-68150-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T12:03:03Z","timestamp":1724155383000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68150-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031681493","9783031681509"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68150-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"21 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Milan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.fm24.polimi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}