Publication: IEICE TRANSACTIONS on Communications Publication Date: 2014/01/01 Vol. E97-BNo. 1pp. 19-28 Type of Manuscript: Special Section PAPER (Special Section on Management for Flexible ICT Systems and Services) Category: Keyword: result verification, mass data processing, MapReduce, trusted sampling, Merkle tree,