{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:56:36Z","timestamp":1761648996449,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030935467"},{"type":"electronic","value":"9783030935474"}],"license":[{"start":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T00:00:00Z","timestamp":1640217600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T00:00:00Z","timestamp":1640217600000},"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":[[2022]]},"DOI":"10.1007\/978-3-030-93547-4_13","type":"book-chapter","created":{"date-parts":[[2022,3,10]],"date-time":"2022-03-10T11:06:25Z","timestamp":1646910385000},"page":"289-311","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Security Assessment Platform for Stochastic Petri Net (SPN) Modelling in the Internet of Things (IoT) Ecosystem"],"prefix":"10.1007","author":[{"given":"Zacharenia","family":"Garofalaki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitrios","family":"Kallergis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Douligeris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,12,23]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Garofalaki, Z., Kallergis, D., Katsikogiannis, G., Ellinas, I., Douligeris, C.: Transport services within the IoT ecosystem using localisation parameters. In: IEEE International Symposium on Signal Processing and Information Technology (ISSPIT), pp. 87\u201392. IEEE (2016)","key":"13_CR1","DOI":"10.1109\/ISSPIT.2016.7886014"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"26076","DOI":"10.1109\/ACCESS.2017.2777438","volume":"5","author":"Z Yu","year":"2017","unstructured":"Yu, Z., Zhou, L., Ma, Z., El-Meligy, M.A.: Trustworthiness modeling and analysis of cyber-physical manufacturing systems. IEEE Access 5, 26076\u201326085 (2017)","journal-title":"IEEE Access"},{"doi-asserted-by":"crossref","unstructured":"Karagiannis, D., Buchmann, R.A., Burzynski, P., Reimer, U., Walch, M.: Fundamental Conceptual Modeling Languages in OMiLAB, pp. 3\u201330. Springer (2016)","key":"13_CR3","DOI":"10.1007\/978-3-319-39417-6_1"},{"doi-asserted-by":"publisher","unstructured":"Karagiannis, D., Burzynski, P., Miron, E.-T.: The Imker Case Study - Practice with the Bee-Up Tool (2017). https:\/\/doi.org\/10.5281\/zenodo.345846","key":"13_CR4","DOI":"10.5281\/zenodo.345846"},{"doi-asserted-by":"crossref","unstructured":"Garofalaki, Z., Kallergis, D.: On the security of an IoT-based intelligent transportation service. In: 4th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media Conference (SEEDA-CECNSM), pp. 1\u20135. IEEE (2019)","key":"13_CR5","DOI":"10.1109\/SEEDA-CECNSM.2019.8908369"},{"doi-asserted-by":"crossref","unstructured":"Aazam, M., Fernando, X.: Fog assisted driver behavior monitoring for intelligent transportation system. In: IEEE 86th Vehicular Technology Conference (VTC-Fall), pp. 1\u20135. IEEE (2017)","key":"13_CR6","DOI":"10.1109\/VTCFall.2017.8288317"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"1899","DOI":"10.1016\/j.trpro.2017.05.184","volume":"25","author":"P Tilocca","year":"2017","unstructured":"Tilocca, P., Farris, S., Angius, S., Argiolas, R., Obino, A., Secchi, S., Mozzoni, S., Barabino, B.: Managing data and rethinking applications in an innovative mid-sized bus fleet. Transp. Res. Procedia 25, 1899\u20131919 (2017)","journal-title":"Transp. Res. Procedia"},{"doi-asserted-by":"crossref","unstructured":"Kenyon, T.: Transportation Cyber-Physical Systems Security and Privacy. In: Transportation Cyber-Physical Systems, pp. 115\u2013151. Elsevier (2018)","key":"13_CR8","DOI":"10.1016\/B978-0-12-814295-0.00005-8"},{"unstructured":"H\u00f6ller, J., Tsiatsis, V., Mulligan, C., Karnouskos, S., Avesand, S., Boyle, D.: From Machine-to-Machine to the Internet of Things - Introduction to a New Age of Intelligence. Academic Press (2014)","key":"13_CR9"},{"unstructured":"MITRE Corporation: Common Vulnerabilities and Exposures: The Standard for Information Security Vulnerability Names (2007). https:\/\/cve.mitre.org","key":"13_CR10"},{"unstructured":"National Institute of Standards and Technology (NIST): National Vulnerability Database (NVD) (2019). https:\/\/nvd.nist.gov\/","key":"13_CR11"},{"issue":"446","key":"13_CR12","first-page":"1","volume":"5","author":"A Khamparia","year":"2016","unstructured":"Khamparia, A., Pandey, B.: Threat driven modeling framework using petri nets for e-learning system. SpringerPlus 5(446), 1\u201316 (2016)","journal-title":"SpringerPlus"},{"doi-asserted-by":"crossref","unstructured":"R\u00e9my, G., Mehar, S., Sophy, T., Senouci, S.-M., Jan, F., Gourhant, Y.: Green fleet management architecture: Application to economic itinerary planning. In: IEEE Globecom Workshops, pp. 369\u2013373. IEEE (2012)","key":"13_CR13","DOI":"10.1109\/GLOCOMW.2012.6477599"},{"issue":"4","key":"13_CR14","doi-asserted-by":"publisher","first-page":"3453","DOI":"10.1109\/COMST.2018.2855563","volume":"20","author":"I Stellios","year":"2018","unstructured":"Stellios, I., Kotzanikolaou, P., Psarakis, M., Alcaraz, C., Lopez, J.: A survey of IoT-enabled cyberattacks: Assessing attack paths to critical infrastructures and services. IEEE Commun. Surv. Tutorials 20(4), 3453\u20133495 (2018)","journal-title":"IEEE Commun. Surv. Tutorials"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"101743","DOI":"10.1016\/j.adhoc.2018.08.013","volume":"92","author":"O Mavropoulos","year":"2019","unstructured":"Mavropoulos, O., Mouratidis, H., Fish, A., Panaousis, E.: Apparatus: A framework for security analysis in internet of things systems. Ad Hoc Networks 92, 101743 (2019)","journal-title":"Ad Hoc Networks"},{"doi-asserted-by":"crossref","unstructured":"Mavropoulos, O., Mouratidis, H., Fish, A., Panaousis, E.: ASTo: A tool for security analysis of IoT systems. In: IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA), pp. 395\u2013400. IEEE (2017)","key":"13_CR16","DOI":"10.1109\/SERA.2017.7965757"},{"doi-asserted-by":"crossref","unstructured":"Harrand, N., Fleurey, F., Morin, B., Husa, K.E.: ThingML: A language and code generation framework for heterogeneous targets. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS \u201916, (New York, NY, USA), pp. 125\u2013135. Association for Computing Machinery (2016)","key":"13_CR17","DOI":"10.1145\/2976767.2976812"},{"doi-asserted-by":"crossref","unstructured":"Samandari, A., Ge, M., Hong, J.B., Kim, D.S.: Evaluating the security of IoT networks with mobile devices. In: IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 171\u2013180. IEEE (2018)","key":"13_CR18","DOI":"10.1109\/PRDC.2018.00028"},{"unstructured":"Enoch, S.Y., Hong, J.B., Ge, M., Kim, D.S.: Composite metrics for network security analysis. CoRR (2020)","key":"13_CR19"},{"doi-asserted-by":"crossref","unstructured":"Ahmadon, M.A.B., Yamaguchi, S., Saon, S., et al.: On service security analysis for event log of IoT system based on data Petri Net. In: IEEE International Symposium on Consumer Electronics (ISCE), pp. 4\u20138. IEEE (2017)","key":"13_CR20","DOI":"10.1109\/ISCE.2017.8355531"},{"doi-asserted-by":"crossref","unstructured":"Yamaguchi, S., Tanaka, H.: Modeling of infection phenomenon and evaluation of mitigation methods for IoT malware mirai by agent-oriented Petri Net PN2. In: IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW), pp. 1\u20132. IEEE (2018)","key":"13_CR21","DOI":"10.1109\/ICCE-China.2018.8448898"},{"doi-asserted-by":"crossref","unstructured":"Ahmadon, M.A.B., Yamaguchi, S.: On service orchestration of cyber physical system and its verification based on Petri Net. In: IEEE 5th Global Conference on Consumer Electronics, pp. 1\u20134. IEEE (2016)","key":"13_CR22","DOI":"10.1109\/GCCE.2016.7800421"},{"doi-asserted-by":"crossref","unstructured":"Fortino, G., Russo, W., Savaglio, C., Viroli, M., Zhou, M.: Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things. In: IEEE 4th World Forum on Internet of Things (WF-IoT), pp. 488\u2013492. IEEE (2018)","key":"13_CR23","DOI":"10.1109\/WF-IoT.2018.8355174"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"1140","DOI":"10.1016\/j.proeng.2017.01.267","volume":"174","author":"P Ping","year":"2017","unstructured":"Ping, P., Xuan, Z., Xinyue, M.: Research on security test for application software based on SPN. Procedia Engineering 174, 1140\u20131147 (2017)","journal-title":"Procedia Engineering"},{"issue":"4","key":"13_CR25","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1002\/atr.1365","volume":"50","author":"WB Daszczuk","year":"2016","unstructured":"Daszczuk, W.B., Mie\u015bcicki, J., Grabski, W.: Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network. J. Adv. Transp. 50(4), 608\u2013629 (2016)","journal-title":"J. Adv. Transp."},{"doi-asserted-by":"crossref","unstructured":"Garofalaki, Z., Kallergis, D., Katsikogiannis, G., Ellinas, I., Douligeris, C.: A DSS model for IoT-based intelligent transportation systems. In IEEE International Symposium on Signal Processing and Information Technology (ISSPIT), pp. 276\u2013281. IEEE (2017)","key":"13_CR26","DOI":"10.1109\/ISSPIT.2017.8388655"}],"container-title":["Domain-Specific Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-93547-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,10]],"date-time":"2022-03-10T11:32:22Z","timestamp":1646911942000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-93547-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,23]]},"ISBN":["9783030935467","9783030935474"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-93547-4_13","relation":{},"subject":[],"published":{"date-parts":[[2021,12,23]]},"assertion":[{"value":"23 December 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}