科研之友
微信
新浪微博
Facebook
分享链接
摘要
数据世系是实现大数据安全监管的有效方法。在大数据系统中，仅基于多日志分析的世系生成方法具有展现数据全生命周期完整世系视图的能力。但由于世系类型多样，该方法能否完整获取监管所需数据，即方法的理论可行性有待证明。为此，本文首次提出了一种形式化的证明方法。首先，对世系完整性进行了形式化定义。然后，通过对各日志包含的记录类型进行归约与关联，证明基于现有日志能否完整获取指定的世系信息；其中，提出了两种基于日志公共元素与基于程序运行原理的日志关联方法，用于对属性元素分散在多个日志中的世系类型的证明。最后，采用所提方法，证明了多日志分析方法能够用于Hadoop世系生成。
-
单位信息工程大学
