VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers

[EN] Non-functional requirements related to safety, security, and timeliness have made cyber-physical systems (CPS) initially reluctant to their integration with blockchain technology. Despite the multiple advantages of blockchain like improved data security and traceability, the main reasons that h...

Descripción completa

Detalles Bibliográficos
Autores: Garcia-Valls, Marisol|||0000-0003-2383-5310, Chirivella-Ciruelos, Alejandro M.
Tipo de recurso: artículo
Fecha de publicación:2024
País:España
Institución:Universitat Politècnica de València (UPV)
Repositorio:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Idioma:inglés
OAI Identifier:oai:riunet.upv.es:10251/214878
Acceso en línea:https://riunet.upv.es/handle/10251/214878
Access Level:acceso abierto
Palabra clave:Cyber physical system
IoT
Blockchain
Verification
Block verifier
Smart contract
Authenticity
Security
Safety
Real-time
Time sensitive system
Middleware
INGENIERÍA TELEMÁTICA
09.- Desarrollar infraestructuras resilientes, promover la industrialización inclusiva y sostenible, y fomentar la innovación
11.- Conseguir que las ciudades y los asentamientos humanos sean inclusivos, seguros, resilientes y sostenibles
id ES_6ee5eac4a2a272e7f128f9cdc9cb06df
oai_identifier_str oai:riunet.upv.es:10251/214878
network_acronym_str ES
network_name_str España
repository_id_str
dc.title.none.fl_str_mv VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers
title VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers
spellingShingle VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers
Garcia-Valls, Marisol|||0000-0003-2383-5310
Cyber physical system
IoT
Blockchain
Verification
Block verifier
Smart contract
Authenticity
Security
Safety
Real-time
Time sensitive system
Middleware
INGENIERÍA TELEMÁTICA
09.- Desarrollar infraestructuras resilientes, promover la industrialización inclusiva y sostenible, y fomentar la innovación
11.- Conseguir que las ciudades y los asentamientos humanos sean inclusivos, seguros, resilientes y sostenibles
title_short VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers
title_full VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers
title_fullStr VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers
title_full_unstemmed VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers
title_sort VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers
dc.creator.none.fl_str_mv Garcia-Valls, Marisol|||0000-0003-2383-5310
Chirivella-Ciruelos, Alejandro M.
author Garcia-Valls, Marisol|||0000-0003-2383-5310
author_facet Garcia-Valls, Marisol|||0000-0003-2383-5310
Chirivella-Ciruelos, Alejandro M.
author_role author
author2 Chirivella-Ciruelos, Alejandro M.
author2_role author
dc.contributor.none.fl_str_mv Escuela Técnica Superior de Ingeniería de Telecomunicación
Departamento de Comunicaciones
GENERALITAT VALENCIANA
AGENCIA ESTATAL DE INVESTIGACION
European Regional Development Fund
Universitat Politècnica de València
Repositorio Institucional de la Universitat Politècnica de València Riunet
dc.subject.none.fl_str_mv Cyber physical system
IoT
Blockchain
Verification
Block verifier
Smart contract
Authenticity
Security
Safety
Real-time
Time sensitive system
Middleware
INGENIERÍA TELEMÁTICA
09.- Desarrollar infraestructuras resilientes, promover la industrialización inclusiva y sostenible, y fomentar la innovación
11.- Conseguir que las ciudades y los asentamientos humanos sean inclusivos, seguros, resilientes y sostenibles
topic Cyber physical system
IoT
Blockchain
Verification
Block verifier
Smart contract
Authenticity
Security
Safety
Real-time
Time sensitive system
Middleware
INGENIERÍA TELEMÁTICA
09.- Desarrollar infraestructuras resilientes, promover la industrialización inclusiva y sostenible, y fomentar la innovación
11.- Conseguir que las ciudades y los asentamientos humanos sean inclusivos, seguros, resilientes y sostenibles
description [EN] Non-functional requirements related to safety, security, and timeliness have made cyber-physical systems (CPS) initially reluctant to their integration with blockchain technology. Despite the multiple advantages of blockchain like improved data security and traceability, the main reasons that have slowed down its adoption in CPS still remain. Examples of these are the inherent overhead of accessing the distributed ledger and the security incidents that a number of blockchain networks have suffered since its inception. This paper presents VelogCPS, a novel middleware that guarantees that logic and data managed by blockchain networks of cyber- physical systems are verified and generated by legitimate sources. Thus, VelogCPS avoids a kind of security incidents that impact the authenticity and integrity of the logic and data managed in blockchain networks. By authenticity we refer to provenance authenticity of the involved smart contracts, i.e., the perfect matching between the advertised source -code and the version deployed to the network. Our framework provides a safe blockchain network as it ensures that the entities that participate to a CPS use solely authentic logic. We do this by leveraging block verifier services and enforcing them through the operation workflow. As a result, the middleware guarantees that the participating entities use and share authentic logic. The proposed framework is validated through its implementation on a real blockchain network, employing actual smart contract verifier logic, and through the exhaustive analysis of the temporal behaviour and overhead of the major operations; the obtained results ensure its utility for time -sensitive sytems like CPS and IoT.
publishDate 2024
dc.date.none.fl_str_mv 2024
2024-08-01
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://riunet.upv.es/handle/10251/214878
url https://riunet.upv.es/handle/10251/214878
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.relation.none.fl_str_mv Agencia Estatal de Investigación http://dx.doi.org/10.13039/501100011033 Plan Estatal de Investigación Científica y Técnica y de Innovación 2021-2023 PID2021-123168NB-I00 EVOLUCION DE LA RED DE ACCESO RADIO HACIA 6G PARA SERVICIOS MASIVOS Y DE BAJA LATENCIA
Generalitat Valenciana https://doi.org/10.13039/501100003359 AICO%2F2021%2F138 Diseño de servicios para la ejecución confiable y de tiempo real de aplicaciones de computación social dispersa en entornos ciberfísicos
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
http://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
http://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname:Universitat Politècnica de València (UPV)
instname_str Universitat Politècnica de València (UPV)
reponame_str RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
collection RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869410456916983808
spelling VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiersGarcia-Valls, Marisol|||0000-0003-2383-5310Chirivella-Ciruelos, Alejandro M.Cyber physical systemIoTBlockchainVerificationBlock verifierSmart contractAuthenticitySecuritySafetyReal-timeTime sensitive systemMiddlewareINGENIERÍA TELEMÁTICA09.- Desarrollar infraestructuras resilientes, promover la industrialización inclusiva y sostenible, y fomentar la innovación11.- Conseguir que las ciudades y los asentamientos humanos sean inclusivos, seguros, resilientes y sostenibles[EN] Non-functional requirements related to safety, security, and timeliness have made cyber-physical systems (CPS) initially reluctant to their integration with blockchain technology. Despite the multiple advantages of blockchain like improved data security and traceability, the main reasons that have slowed down its adoption in CPS still remain. Examples of these are the inherent overhead of accessing the distributed ledger and the security incidents that a number of blockchain networks have suffered since its inception. This paper presents VelogCPS, a novel middleware that guarantees that logic and data managed by blockchain networks of cyber- physical systems are verified and generated by legitimate sources. Thus, VelogCPS avoids a kind of security incidents that impact the authenticity and integrity of the logic and data managed in blockchain networks. By authenticity we refer to provenance authenticity of the involved smart contracts, i.e., the perfect matching between the advertised source -code and the version deployed to the network. Our framework provides a safe blockchain network as it ensures that the entities that participate to a CPS use solely authentic logic. We do this by leveraging block verifier services and enforcing them through the operation workflow. As a result, the middleware guarantees that the participating entities use and share authentic logic. The proposed framework is validated through its implementation on a real blockchain network, employing actual smart contract verifier logic, and through the exhaustive analysis of the temporal behaviour and overhead of the major operations; the obtained results ensure its utility for time -sensitive sytems like CPS and IoT.This research was funded by project " Design of services for resilient and real-time execution of social dispersed computing applications in cy-ber-physical domains "funded by Generalitat Valenciana (Conselleria de Innovacion, Universidades, Ciencia y Sociedad Digital) , Spain, under Grant No. AICO/2021/138; and by project " Evolution of the radio access network towards 6G for massive and low-latency services "funded by ERDF A way of making Europe and Ministerio de Ciencia, Innovación y Universidades of Spain MCIN/AEI/10.13039/501100011033 under Grant no. PID2021-123168NB-I00.ElsevierEscuela Técnica Superior de Ingeniería de TelecomunicaciónDepartamento de ComunicacionesGENERALITAT VALENCIANAAGENCIA ESTATAL DE INVESTIGACIONEuropean Regional Development FundUniversitat Politècnica de ValènciaRepositorio Institucional de la Universitat Politècnica de València Riunet20242024-08-01journal articlehttp://purl.org/coar/resource_type/c_6501VoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/articleapplication/pdfhttps://riunet.upv.es/handle/10251/214878reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valénciainstname:Universitat Politècnica de València (UPV)InglésengAgencia Estatal de Investigación http://dx.doi.org/10.13039/501100011033 Plan Estatal de Investigación Científica y Técnica y de Innovación 2021-2023 PID2021-123168NB-I00 EVOLUCION DE LA RED DE ACCESO RADIO HACIA 6G PARA SERVICIOS MASIVOS Y DE BAJA LATENCIAGeneralitat Valenciana https://doi.org/10.13039/501100003359 AICO%2F2021%2F138 Diseño de servicios para la ejecución confiable y de tiempo real de aplicaciones de computación social dispersa en entornos ciberfísicosopen accesshttp://purl.org/coar/access_right/c_abf2Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:riunet.upv.es:10251/2148782026-06-13T07:49:27Z
score 15.812455

Similares en LA Referencia