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