AssureMR: Verifiable SQL Execution on MapReduce

被引:1
|
作者
Zhang, Bo [1 ]
Dong, Boxiang [2 ]
Wang, Wendy Hui [1 ]
机构
[1] Stevens Inst Technol, Dept Comp Sci, Hoboken, NJ 07030 USA
[2] Montclair State Univ, Dept Comp Sci, Montclair, NJ USA
关键词
D O I
10.1109/ICDE.2018.00117
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We design AssureMR, a system that supports efficient verification of SQL Selection-GroupBy-Aggregation (SGA) query evaluation on an untrusted MapReduce system. AssureMR does not rely on a centralized trusted party to construct the authentication data structure (ADS). Instead, AssureMR allows the untrusted mappers/reducers to construct ADS. AssureMR provides the following verification functionality: (1) correctness verification of ADS; (2) correctness verification of intermediate query results by individual mapper; and (3) correctness verification of final query results by reducers. Our experimental results demonstrate the efficiency and effectiveness of AssureMR.
引用
收藏
页码:1228 / 1231
页数:4
相关论文
共 50 条
  • [1] CorrectMR: Authentication of Distributed SQL Execution on MapReduce
    Zhang, Bo
    Dong, Boxiang
    Wang, Wendy Hui
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2021, 33 (03) : 897 - 908
  • [2] Elastic MapReduce Execution
    Goh, Wei Xiang
    Tan, Kian-Lee
    [J]. 2014 14TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID), 2014, : 216 - 225
  • [3] MRPacker: An SQL to MapReduce Optimizer
    Lin, Xuelian
    Ye, Yue
    Ma, Shuai
    [J]. PROCEEDINGS OF THE 22ND ACM INTERNATIONAL CONFERENCE ON INFORMATION & KNOWLEDGE MANAGEMENT (CIKM'13), 2013, : 1157 - 1160
  • [4] Externally verifiable code execution
    Seshadri, Arvind
    Luk, Mark
    Perrig, Adrian
    Van Doorn, Leendert
    Khosla, Pradeep
    [J]. COMMUNICATIONS OF THE ACM, 2006, 49 (09) : 45 - 49
  • [5] SQL Ledger: Cryptographically Verifiable Data in Azure SQL Database
    Antonopoulos, Panagiotis
    Kaushik, Raghav
    Kodavalla, Hanuma
    Aceves, Sergio Rosales
    Wong, Reilly
    Anderson, Jason
    Szymaszek, Jakub
    [J]. SIGMOD '21: PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2021, : 2437 - 2449
  • [6] IntegriDB: Verifiable SQL for Outsourced Databases
    Zhang, Yupeng
    Katz, Jonathan
    Papamanthou, Charalampos
    [J]. CCS'15: PROCEEDINGS OF THE 22ND ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2015, : 1480 - 1491
  • [7] Tenzing A SQL Implementation On The MapReduce Framework
    Chattopadhyay, Biswapesh
    Lin, Liang
    Liu, Weiran
    Mittal, Sagar
    Aragonada, Prathyusha
    Lychagina, Vera
    Kwon, Younghee
    Wong, Michael
    [J]. PROCEEDINGS OF THE VLDB ENDOWMENT, 2011, 4 (12): : 1318 - 1327
  • [8] Securing TEEs With Verifiable Execution Contracts
    Chen, Guoxing
    Zhang, Yinqian
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2023, 20 (04) : 3222 - 3237
  • [9] Practical Verifiable Computation-A MapReduce Case Study
    Wang, Yongzhi
    Shen, Yulong
    Jiang, Xiaohong
    [J]. IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2018, 13 (06) : 1376 - 1391
  • [10] Shared Execution of Recurring Workloads in MapReduce
    Lei, Chuan
    Zhuang, Zhongfang
    Rundensteiner, Elke A.
    Eltabakh, Mohamed
    [J]. PROCEEDINGS OF THE VLDB ENDOWMENT, 2015, 8 (07): : 714 - 725