{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:47:19Z","timestamp":1767340039772},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319394169"},{"type":"electronic","value":"9783319394176"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39417-6_15","type":"book-chapter","created":{"date-parts":[[2016,7,9]],"date-time":"2016-07-09T07:55:26Z","timestamp":1468050926000},"page":"335-355","source":"Crossref","is-referenced-by-count":13,"title":["Algebraic Method to Model Secure IoT"],"prefix":"10.1007","author":[{"given":"Yeongbok","family":"Choe","sequence":"first","affiliation":[]},{"given":"Moonkun","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,10]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Whitmore, A., Agarwal, A., Xu, L.D.: The internet of things\u2014a survey of topics and trends. Inf. Syst. Front. 17(2), 261\u2013274 (2015)","DOI":"10.1007\/s10796-014-9489-2"},{"key":"15_CR2","unstructured":"Larcom, B.: Secure Requirement. https:\/\/www.frisc.no\/arrangementer\/finse-winter-school-2014\/ (2014)"},{"key":"15_CR3","unstructured":"Heitmeyer, C., Mandrioli, D.: Formal Methods for Real-Time Computing: An Overview, Formal Methods for Real-Time Computing, pp. 1\u201332. Wiley (1996)"},{"key":"15_CR4","doi-asserted-by":"crossref","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-ii). Inf. Comput. 100, 1\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"15_CR5","first-page":"140","volume-title":"ETAPS 1998 and FOSSACS 1998, LNCS","author":"L Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.: Mobile ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998, LNCS, vol. 1378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"issue":"1","key":"15_CR6","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/s11390-005-0011-7","volume":"20","author":"H Lin","year":"2005","unstructured":"Lin, H.: Predicate \u03bc-calculus for mobile ambients. J. Comput. Sci. Technol. 20(1), 95\u2013104 (2005)","journal-title":"J. Comput. Sci. Technol."},{"key":"15_CR7","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, New York (1982)"},{"key":"15_CR8","unstructured":"Choe, Y., Lee, M.: \u03b4-calculus: process algebra to model secure movements of distributed mobile processes in real-time business application. In: 23rd European Conference on Information Systems (2015)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Kozen, D. (ed.) Proceedings of the Workshop on Logic of Programs, Yorktown Heights, vol. 131 of Lecture Notes in Computer Science, pp. 52\u201371. Springer (1981)","DOI":"10.1007\/BFb0025774"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Choe, Y., Choi, W., Jeon, G., Lee, M.: A Tool for Visual Specification and Verification for Secure Process Movements, eChallenges e-2015, Nov 2015","DOI":"10.1109\/eCHALLENGES.2015.7440971"},{"issue":"1","key":"15_CR11","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/BF03345926","volume":"8","author":"H Fill","year":"2013","unstructured":"Fill, H., Karagiannis, D.: On the conceptualisation of modelling methods using the ADOxx meta modelling platform. Enterp. Modell. Inf. Syst. Arch. 8(1), 4\u201325 (2013)","journal-title":"Enterp. Modell. Inf. Syst. Arch."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Choi, W., Choe, Y., Lee, M.: A reduction method for process and system complexity with conjunctive and complement choices in a process algebra. In: IEEE 39th Annual International Computer, Software and Applications Conference (2015)","DOI":"10.1109\/COMPSAC.2015.249"}],"container-title":["Domain-Specific Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39417-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T23:20:50Z","timestamp":1568157650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39417-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319394169","9783319394176"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39417-6_15","relation":{},"subject":[],"published":{"date-parts":[[2016]]}}}