基于Latanya Sweeney关于k-匿名的理论工作:
定义2.1(准标识符)
让 是一张桌子。一个准标识符 是一组属性 必须控制其释放。
定义2.2(k-匿名)
让 是一张桌子 是与之相关的准标识符。 如果对于每个准标识符,据说满足k-匿名 每个值的序列 至少出现了 发生在
任何人都可以批准这些面向对象方法的下一个假设吗?
定义1.1(对象表)
让 和 是一张桌子 来自原始表的映射 到对象表
定义1.2(对象空间)
让所有改变都有空间 一个对象属性 和一个功能空间 这些之间的映射。
定义1.2b
和 所以 是非匿名化函数。
定义1.3(准标识符)
让 是关于空间的qausi标识符 如
定义1.4
让 成为第二张桌子 是与之相关的准标识符。 如果对于每个准标识符,据说满足k-匿名 每个值的序列 至少出现了 发生在
因此,在属性空间和匿名之间存在k-匿名和k-匿名之间的桥梁