Resumen

La externalización de cálculos con verificabilidad es un concepto emergente en la computación en la nube, que permite a clientes ligeros externalizar tareas de cálculo costosas al cloud y verificar eficientemente la corrección del resultado al final. Este concepto avanzado es más importante en la computación móvil marina, ya que los buques oceánicos suelen tener limitaciones en cuanto a almacenamiento y recursos de cálculo. En este escenario, los buques siempre externalizan primero un conjunto de datos y realizan un cálculo de funciones sobre ellos, o externalizan primero las funciones de cálculo e introducen los conjuntos de datos en ellas. Sin embargo, los buques pueden elegir qué tipo de cálculo de delegación externalizar, lo cual generalmente depende de las circunstancias actuales. Por lo tanto, proponemos un protocolo escalable de externalización de cálculos verificables en la computación en la nube marina en primer lugar, y extraemos una versión de un solo modo de él, donde ambos protocolos permiten a quien posea fichas de verificación verificar eficientemente el resultado

• Materias:Sistemas de Comunicación Inalámbricos Internet de las cosas Redes de radio Computación móvil Radio cognitiva
• Subjects:Wireless Communication Systems Internet of things Radio Networks Mobile Computing Cognitive Radio
• Palabras claves:Externalización del cálculo; Verificabilidad; Computación en nube; Computación móvil marina; Delegación del cálculo; Protocolo escalable
• Keywords:Outsourcing computation; Verifiability; Cloud computing; Marine mobile computing; Delegation computation; Scalable protocol