Scalable and Soundness Verifiable Outsourcing Computation in Marine Mobile Computing
Scalable and Soundness Verifiable Outsourcing Computation in Marine Mobile Computing
复制标题
海洋移动计算中可扩展且可验证可靠性的外包计算
DOI：
10.1155/2017/6128437
复制
发表时间：
2017
影响因子：
--
通讯作者：
Qian Haifeng
中科院分区：
文献类型：
--
作者：
Zhang Kai;Wei Lifei;Li Xiangxue;Qian Haifeng
可验证的计算外包是云计算中的一个融合概念，它使轻量级客户端能够将昂贵的计算任务外包到云端，并在最后有效地检查结果的正确性。这种先进的概念在海洋移动的计算中更为重要，因为远洋船舶通常受到较少的存储和计算资源的限制。在这种情况下，船舶总是首先外包数据集并对其执行函数计算，或者首先外包计算函数并将数据集输入其中。但是，船舶可以选择外包哪种委托计算类型，这通常取决于实际情况。为此，本文首先提出了一种可扩展的可验证的海洋云计算外包计算协议（），并提取了该协议的单模版本（），两种协议都允许持有验证令牌的任何人有效地验证从云返回的计算结果。通过这种方式，引入的“可扩展”属性允许船舶调整协议，以科普实践中不同的委托情况。我们还证明了这两个和实现选择性的可靠性在随机预言机模型，并评估他们的性能。
Outsourcing computation with verifiability is a merging notion in cloud computing, which enables lightweight clients to outsource costly computation tasks to the cloud and efficiently check the correctness of the result in the end. This advanced notion is more important in marine mobile computing since the oceangoing vessels are usually constrained with less storage and computation resources. In such a scenario, vessels always firstly outsource data set and perform a function computing over them or at first outsource computing functions and input data set into them. However, vessels may choose which delegation computation type to outsource, which generally depends on the actual circumstances. Hence, we propose a scalable verifiable outsourcing computation protocol () in marine cloud computing at first and extract a single-mode version of it (), where both protocols allow anyone who holds verification tokens to efficiently verify the computed result returned from cloud. In this way, the introduced “scalable” property lets vessels adjust the protocol to cope with different delegation situations in practice. We additionally prove both and achieving selective soundness in the random oracle model and evaluate their performance in the end.
登录
查看更多内容
DOI：
10.1109/infocom.2014.6848058
发表时间：
2014-07
期刊：
IEEE INFOCOM 2014 - IEEE Conference on Computer Communications
影响因子：
--
作者：
Pengfei Hu;Kai Xing;Xiuzhen Cheng;Hao Wei;Haojin Zhu
通讯作者：
Pengfei Hu;Kai Xing;Xiuzhen Cheng;Hao Wei;Haojin Zhu
DOI：
10.1145/2382196.2382250
发表时间：
2012-10
期刊：
Proceedings of the 2012 ACM conference on Computer and communications security
影响因子：
--
作者：
D. Fiore;R. Gennaro
通讯作者：
D. Fiore;R. Gennaro
DOI：
10.1007/978-3-319-40253-6_18
发表时间：
2016-07
期刊：
--
影响因子：
--
作者：
Yujuan Sun;Yu Yu-Yu;Xiangxue Li;Kai Zhang;Hai-feng Qian;Yuan Zhou
通讯作者：
Yujuan Sun;Yu Yu-Yu;Xiangxue Li;Kai Zhang;Hai-feng Qian;Yuan Zhou
DOI：
10.33107/ubt-ic.2017.85
发表时间：
2017-10
期刊：
--
影响因子：
--
作者：
F. Halili;Verda Misimi;Rilinda Iseini;Mirije Salihi
通讯作者：
F. Halili;Verda Misimi;Rilinda Iseini;Mirije Salihi
海洋大数据建模与分析：进展与挑战
影响因子：
--
作者：
Danfeng Zhao;Lifei Wei;Zhenhua Wang;Yanling Du
通讯作者：
Yanling Du