验证装置、验证系统、验证方法和验证程序

摘要

存储单元(11)存储对象设备(20)中的存储器(21)的空闲区域的大小以及保存在所述存储器(21)中的软件。生成单元(12a)根据存储器(21)中的空闲区域的大小生成从多个节点配置的图，并且将该图发送给对象设备(20)。计算单元(12b)计算与存储在存储器(21)中的软件中的每个块相对应的哈希值。验证单元(12c)使用以下项来验证是否已发生对所述对象设备(20)中的存储器(21)的篡改：所计算出的与该块相对应的哈希值，以及所返回的使用图计算出的对指定所述图的节点的质询的响应，以及作为对指定该块的质询的响应的所返回的块的哈希值。