{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T05:37:32Z","timestamp":1757309852000,"version":"3.41.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319989884"},{"type":"electronic","value":"9783319989891"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-98989-1_1","type":"book-chapter","created":{"date-parts":[[2018,8,6]],"date-time":"2018-08-06T18:14:14Z","timestamp":1533579254000},"page":"3-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Workflow-Aware Security of Integrated Mobility Services"],"prefix":"10.1007","author":[{"given":"Prabhakaran","family":"Kasinathan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Cuellar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,7]]},"reference":[{"key":"1_CR1","unstructured":"Krebs, B.: BMW: Connected Mobility Lab - center digitization.bayern (2017). https:\/\/zentrum-digitalisierung.bayern\/connected-mobility-lab"},{"key":"1_CR2","unstructured":"Kasinathan, P., Cuellar, J.: Securing the integrity of workflows in IoT. In: International Conference on Embedded Wireless Systems and Networks (EWSN), pp. 252\u2013257. ACM Digital Library (2018)"},{"key":"1_CR3","volume-title":"Computer Security: Art and Science","author":"M Bishop","year":"2002","unstructured":"Bishop, M.: Computer Security: Art and Science. Addison-Wesley, Boston (2002)"},{"key":"1_CR4","unstructured":"WfMC: Workflow Management Coalition (2009). http:\/\/www.wfmc.org"},{"issue":"9","key":"1_CR5","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/35.312842","volume":"32","author":"RS Sandhu","year":"1994","unstructured":"Sandhu, R.S., Samarati, P.: Access control: principles and practice. IEEE Commun. Mag. 32(9), 40\u201348 (1994)","journal-title":"IEEE Commun. Mag."},{"issue":"4","key":"1_CR6","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"WMP van der Aalst","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407\u2013426. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63139-9_48"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/3-540-65306-6_20","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J Esparza","year":"1998","unstructured":"Esparza, J.: Decidability and complexity of Petri net problems \u2014 an introduction. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 374\u2013428. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-65306-6_20"},{"key":"1_CR9","unstructured":"Petri, C.A.: Communication with automata (1966). http:\/\/edoc.sub.uni-hamburg.de\/informatik\/volltexte\/2010\/155\/pdf\/diss_petri_engl.pdf"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-47919-2_10","volume-title":"Petri Nets: Central Models and Their Properties","author":"K Jensen","year":"1987","unstructured":"Jensen, K.: Coloured petri nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 254, pp. 248\u2013299. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/978-3-540-47919-2_10"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Zhang, F., Cecchetti, E., Croman, K., Juels, A., Shi, E.: Town crier. In: Proceedings of the 2C, pp. 270\u2013282. ACM Press, New York (2016)","DOI":"10.1145\/2976749.2978326"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-319-70278-0_31","volume-title":"Financial Cryptography and Data Security","author":"M Bartoletti","year":"2017","unstructured":"Bartoletti, M., Pompianu, L.: An empirical analysis of smart contracts: platforms, applications, and design patterns. In: Brenner, M., et al. (eds.) FC 2017. LNCS, vol. 10323, pp. 494\u2013509. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70278-0_31"},{"key":"1_CR13","unstructured":"Szabo, N.: Smart Contracts: Building Blocks for Digital Markets Copyright, p. 16 (1996). alamut.com"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Delmolino, K., Arnett, M., Kosba, A.E., Miller, A., Shi, E.: Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab. IACR Cryptology ePrint Archive 2015, 460 (2015)","DOI":"10.1007\/978-3-662-53357-4_6"},{"key":"1_CR15","unstructured":"Ethereum: What Are Smart Contracts - EthereumWiki. http:\/\/www.ethereumwiki.com\/ethereum-wiki\/smart-contracts\/"},{"key":"1_CR16","unstructured":"Ethereum: Solidity \u2013 Solidity. https:\/\/solidity.readthedocs.io\/en\/develop\/"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security - CCS 2016, pp. 254\u2013269. ACM Press, New York (2016)","DOI":"10.1145\/2976749.2978309"},{"issue":"8","key":"1_CR18","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"EW Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8), 453\u2013457 (1975)","journal-title":"Commun. ACM"},{"key":"1_CR19","unstructured":"The Official OMG SysML site: What Is OMG SysML? (2012)"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-40022-6_14","volume-title":"Petri Net Technology for Communication-Based Systems","author":"R Heckel","year":"2003","unstructured":"Heckel, R.: Open petri nets as semantic model for workflow integration. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 281\u2013294. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-40022-6_14"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-40022-6_7","volume-title":"Petri Net Technology for Communication-Based Systems","author":"M Weber","year":"2003","unstructured":"Weber, M., Kindler, E.: The petri net markup language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 124\u2013144. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-40022-6_7"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-319-19488-2_13","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"F Pommereau","year":"2015","unstructured":"Pommereau, F.: SNAKES: a flexible high-level petri nets library (tool paper). In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 254\u2013265. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19488-2_13"},{"issue":"1","key":"1_CR23","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/300830.300837","volume":"2","author":"E Bertino","year":"1999","unstructured":"Bertino, E., Ferrari, E., Atluri, V.: The specification and enforcement of authorization constraints in workflow management systems. ACM Trans. Inf. Syst. Secur. 2(1), 65\u2013104 (1999)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Knorr, K.: Dynamic access control through Petri net workflows. In: Proceedings - Annual Computer Security Applications Conference, ACSAC 2000, pp. 159\u2013167 (2000)","DOI":"10.1109\/ACSAC.2000.898869"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Basin, D., Burri, S.J., Karjoth, G.: Optimal workflow-aware authorizations. In: ACM Symposium on Access Control Models and Technologies (SACMAT), pp. 93\u2013102 (2012)","DOI":"10.1145\/2295136.2295154"},{"key":"1_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/978-3-642-69968-9"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-61770-1_27","volume-title":"Computer Security \u2014 ESORICS 96","author":"V Atluri","year":"1996","unstructured":"Atluri, V., Huang, W.-K.: An authorization model for workflows. In: Bertino, E., Kurth, H., Martella, G., Montolivo, E. (eds.) ESORICS 1996. LNCS, vol. 1146, pp. 44\u201364. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61770-1_27"},{"issue":"2\/3","key":"1_CR28","doi-asserted-by":"publisher","first-page":"209","DOI":"10.3233\/JCS-2000-82-307","volume":"8","author":"V Atluri","year":"2000","unstructured":"Atluri, V., Huang, W.K.: A Petri net based safety analysis of workflow authorization models. J. Comput. Secur. 8(2\/3), 209 (2000)","journal-title":"J. Comput. Secur."},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Huang, W.K., Atluri, V.: SecureFlow: a secure web-enabled workflow management system. In: Proceedings of the Fourth ACM Workshop on Role-Based Access Control - RBAC 1999, pp. 83\u201394 (1999)","DOI":"10.1145\/319171.319179"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Compagna, L., dos Santos, D.R., Ponta, S.E., Ranise, S.: Aegis: automatic enforcement of security policies in workflow-driven web applications. In: Proceedings of ACM on Conference on Data and Application Security and Privacy - CODASPY 2017, pp. 321\u2013328 (2017)","DOI":"10.1145\/3029806.3029813"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Hardt, D.: The OAuth 2.0 Authorization Framework (2012)","DOI":"10.17487\/rfc6749"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Linhares, M.V., da Silva, A.J., de Oliveira, R.S.: Empirical evaluation of SysML through the modeling of an industrial automation unit. In: 2006 IEEE Conference on Emerging Technologies and Factory Automation, pp. 145\u2013152. IEEE, September 2006","DOI":"10.1109\/ETFA.2006.355190"}],"container-title":["Lecture Notes in Computer Science","Computer Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98989-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T06:42:14Z","timestamp":1751784134000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-98989-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319989884","9783319989891"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98989-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 August 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESORICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Research in Computer Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esorics2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/esorics2018.upc.edu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}