{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:37:35Z","timestamp":1730201855786,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/camad.2018.8514937","type":"proceedings-article","created":{"date-parts":[[2018,11,20]],"date-time":"2018-11-20T01:45:18Z","timestamp":1542678318000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Security, Privacy, Dependability, Interoperability Framework for the Internet of Things"],"prefix":"10.1109","author":[{"given":"Othonas","family":"Soultatos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Spanoudakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kostantinos","family":"Fysarakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Askoxylakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Alexandris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Miaoudakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Nikolaos Petroulakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","first-page":"11","article-title":"ULCL – An Ultra-lightweight Cryptographic Library for Embedded Systems","author":"hatzivasilis","year":"2014","journal-title":"PECCS"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2016.7819313"},{"key":"ref30","article-title":"RT-SPDM: Real-Time Security, Privacy and Dependability Management of Heterogeneous Systems","volume":"9190","author":"fysarakis","year":"2015","journal-title":"Human Aspects of Information Security Privacy and Trust HAS 2015 Lecture Notes in Computer Science"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-017-1030-0"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2752801"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2016.06.028"},{"journal-title":"The challenges of creating implementing and preparing for the IoT","article-title":"Gartner, 7 Technologies Underpin the Hype Cycle for the Internet of Things","year":"2016","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TLA.2006.1642459"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2017.8254082"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70740"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035185"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.36"},{"key":"ref19","first-page":"95","article-title":"A UML-Based Static Verification Framework for Security, Requirements","volume":"15","author":"siveroni","year":"2010","journal-title":"Engineering Journal"},{"key":"ref28","article-title":"Discovering Secure Service Compositions","author":"pino","year":"2014","journal-title":"4th International Conference on Cloud Computing and Services Sciences (CLOSER 2014)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005233"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2016.05.023"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TEMU.2012.6294723"},{"key":"ref6","article-title":"Discovering Secure Service Compositions","author":"pino","year":"2014","journal-title":"4th International Conference on Cloud Computing and Services Sciences (CLOSER 2014)"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.3390\/cryptography1020010"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2017.2690430"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2016.15"},{"key":"ref7","article-title":"Extensions to Pattern Formats for Cyber Physical Systems","author":"maa","year":"2014","journal-title":"Proceedings of the 31st Conference on Pattern Languages of Programs (PLoP14"},{"year":"0","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2015.7417794"},{"key":"ref1","article-title":"State of the Art of Secure ICT Landscape","author":"kert","year":"2015","journal-title":"NIS Platform WG 3 V2"},{"key":"ref20","article-title":"Model checking adaptive multilevel service compositions","author":"rossi","year":"2010","journal-title":"Proc Int'l Workshop Formal Aspects of Component Software"},{"journal-title":"Incorporating Security Requirements into Service Composition From Modelling to Execution in ICSOC-ServiceWave '09","year":"2009","author":"souza","key":"ref22"},{"key":"ref21","volume":"52","author":"dong","year":"2010","journal-title":"Automated verification of security pattern compositions Information and Software Technology"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2008.13"},{"key":"ref23","article-title":"Designing Secure Service Workflows in BPEL, 12th International Con oriented architectures","author":"pino","year":"2010","journal-title":"IEEE Intl Conf on Web Services"},{"key":"ref26","article-title":"Implementation of an SDN-Enabled 5G Experimental Platform for Core and Radio Access Network Support","volume":"725","author":"ramantas","year":"0","journal-title":"Interactive Mobile Communication Technologies and Learning IMCL 2017 Advances in Intelligent Systems and Computing"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2016.61"}],"event":{"name":"2018 IEEE 23rd International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD)","start":{"date-parts":[[2018,9,17]]},"location":"Barcelona","end":{"date-parts":[[2018,9,19]]}},"container-title":["2018 IEEE 23rd International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8500732\/8514932\/08514937.pdf?arnumber=8514937","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T03:14:44Z","timestamp":1598238884000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8514937\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/camad.2018.8514937","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}