{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T22:20:50Z","timestamp":1772749250247,"version":"3.50.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319395180","type":"print"},{"value":"9783319395197","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39519-7_3","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T13:18:53Z","timestamp":1464095933000},"page":"35-50","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Where Do Your IoT Ingredients Come From?"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Bodei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gian-Luigi","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Letterio","family":"Galletta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Gordon, A.: A calculus for cryptographic protocols: the spi calculus. In: Proceedings of the 4th ACM Conference on Computer and Communications Security, CCS 1997, pp. 36\u201347. ACM (1997)","DOI":"10.1145\/266420.266432"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-319-25527-9_12","volume-title":"Programming Languages with Applications to Biology and Security","author":"C Bodei","year":"2015","unstructured":"Bodei, C., Brodo, C., Focardi, R.: Static evidences for attack reconstruction. In: Bodei, C., Ferrari, G.-L., Priami, C. (eds.) Programming Languages with Applications to Biology and Security. LNCS, vol. 9465, pp. 162\u2013182. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-25527-9_12"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Nielson, H.R.: Automatic validation of protocol narration. In: Computer Security Foundations Workshop (CSFW-16 2003), pp. 126\u2013140. IEEE Computer Society (2003)","DOI":"10.1109\/CSFW.2003.1212709"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"347","DOI":"10.3233\/JCS-2005-13302","volume":"13","author":"C Bodei","year":"2005","unstructured":"Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Nielson, H.R.: Static validation of security protocols. J. Comput. Secur. 13(3), 347\u2013390 (2005)","journal-title":"J. Comput. Secur."},{"key":"3_CR5","unstructured":"Bodei, C., Galletta, L.: Securing IoT communications: at what cost?. In: Cortier, V. (ed.) Proceeding HotSpot 2016 (2016). http:\/\/www.loria.fr\/cortier\/HotSpot2016\/HotSpot2016-proceedings.pdf"},{"issue":"3","key":"3_CR6","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s10207-004-0036-x","volume":"2","author":"M Buchholtz","year":"2004","unstructured":"Buchholtz, M., Nielson, H.R., Nielson, F.: A calculus for control flow analysis of security protocols. Int. J. Inf. Secur. 2(3), 145\u2013167 (2004)","journal-title":"Int. J. Inf. Secur."},{"issue":"11","key":"3_CR7","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/384150.384165","volume":"44","author":"N Carriero","year":"2001","unstructured":"Carriero, N., Gelernter, D.: A computational model of everything. Commun. ACM 44(11), 77\u201381 (2001)","journal-title":"Commun. ACM"},{"key":"3_CR8","unstructured":"Castiglioni, V., Lanotte, R., Merro, M.: A semantic theory for the internet of things, CoRR abs\/1510.04854 (2015)"},{"issue":"6","key":"3_CR9","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1109\/TSE.2015.2496941","volume":"42","author":"Pierpaolo Degano","year":"2016","unstructured":"Degano, P., Ferrari, G.L., Galletta, L.: A two-component language for adaptation: design, semantics, and program analysis. IEEE Trans. Softw. Eng. 42 (2016). doi: 10.1109\/TSE.2015.2496941","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"3_CR10","doi-asserted-by":"publisher","first-page":"6492","DOI":"10.3390\/s130506492","volume":"13","author":"P Elejoste","year":"2013","unstructured":"Elejoste, P., Perallos, A., Chertudi, A., Angulo, I., Moreno, A., Azpilicueta, L., Astrain, J., Falcone, F., Villadangos, J.E.: An easy to deploy street light control system based on wireless communication and led technology. Sensors 13(5), 6492\u20136523 (2013)","journal-title":"Sensors"},{"issue":"5","key":"3_CR11","doi-asserted-by":"crossref","first-page":"971587","DOI":"10.1155\/2014\/971587","volume":"10","author":"Soledad Escolar","year":"2014","unstructured":"Escolar, S., Carretero, J., Marinescu, M., Chessa, S.: Estimating energy savings in smart street lighting by using an adaptive control system. In: IJDSN 2014 (2014)","journal-title":"International Journal of Distributed Sensor Networks"},{"issue":"1","key":"3_CR12","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in linda. ACM Trans. Program. Lang. Syst. 7(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/114005.102808","volume":"13","author":"M Herlihy","year":"1991","unstructured":"Herlihy, M.: Wait-free synchronization. ACM Trans. Program. Lang. Syst. 13(1), 124\u2013149 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR14","unstructured":"IERC: The Internet of Things 2012 - New Horizons (2012). http:\/\/www.internet-of-things-research.eu\/pdf\/IERC_Cluster_Book_2012_WEB.pdf"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Lanese, I., Bedogni, L., Felice, M.D.: Internet of things: a process calculus approach. In: Proceeding of the 28th Annual ACM Symposium on Applied Computing, SAC 2013, pp. 1339\u20131346. ACM (2013)","DOI":"10.1145\/2480362.2480615"},{"issue":"19","key":"3_CR16","doi-asserted-by":"publisher","first-page":"1928","DOI":"10.1016\/j.tcs.2010.01.023","volume":"411","author":"I Lanese","year":"2010","unstructured":"Lanese, I., Sangiorgi, D.: An operational semantics for a calculus for wireless systems. Theor. Comput. Sci. 411(19), 1928\u20131948 (2010)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. I. Inf. Comput. 100(1), 1\u201340 (1992)","journal-title":"I. Inf. Comput."},{"issue":"2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.ic.2009.10.003","volume":"208","author":"S Nanz","year":"2010","unstructured":"Nanz, S., Nielson, F., Nielson, H.R.: Static analysis of topology-dependent broadcast networks. Inf. Comput. 208(2), 117\u2013139 (2010)","journal-title":"Inf. Comput."},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-36377-7_11","volume-title":"The Essence of Computation. Complexity, Analysis, Transformation","author":"H Riis Nielson","year":"2002","unstructured":"Riis Nielson, H., Nielson, F.: Flow Logic: a multi-paradigmatic approach to static analysis. In: Mogensen, T.\u00c6., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol. 2566, pp. 223\u2013244. Springer, Heidelberg (2002)"},{"issue":"6","key":"3_CR20","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.scico.2009.07.008","volume":"75","author":"A Singh","year":"2010","unstructured":"Singh, A., Ramakrishnan, C.R., Smolka, S.: A process calculus for mobile ad hoc networks. Sci. Comput. Program. 75(6), 440\u2013469 (2010)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39519-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T19:11:26Z","timestamp":1748977886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39519-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395180","9783319395197"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39519-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}