发明名称 一种位置服务中隐私保护量化分析方法
摘要 本发明涉及一种位置服务中隐私保护量化分析方法,首先设计构建用户位置服务隐私保护的最优策略模型,再据此对应设计构建攻击者隐私攻击策略模型,最后基于博弈论思路,针对用户位置服务隐私保护的最优策略模型和攻击者隐私攻击策略模型,进行仿真实验,针对仿真结果进行验证分析,实现针对用户位置服务隐私保护效果的评价,针对攻击者利用用户历史轨迹数据分析用户具体的移动行为,而且掌握用户使用的位置隐私保护算法的情况,能够很好的实现针对用户在一段时间内多个位置的隐私保护效果的评估。
申请公布号 CN104918214A 申请公布日期 2015.09.16
申请号 CN201510181663.2 申请日期 2015.04.16
申请人 南京工业大学 发明人 杨梅;白光伟;沈航;王仲晖
分类号 H04W4/02(2009.01)I;H04W12/00(2009.01)I 主分类号 H04W4/02(2009.01)I
代理机构 南京经纬专利商标代理有限公司 32200 代理人 许方
主权项 一种位置服务中隐私保护量化分析方法,其特征在于,包括如下步骤:步骤001.设计构建用户位置服务隐私保护的最优策略模型如下:<maths num="0001" id="cmaths0001"><math><![CDATA[<mrow><mi>Maximize</mi><munder><mi>&Sigma;</mi><mrow><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>&Element;</mo><msubsup><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup></mrow></munder><msub><mi>X</mi><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup></msub></mrow>]]></math><img file="FDA0000700138920000011.GIF" wi="402" he="129" /></maths><maths num="0002" id="cmaths0002"><math><![CDATA[<mrow><msub><mi>X</mi><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup></msub><mo>=</mo><munder><mi>min</mi><mrow><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>R</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><munder><mi>min</mi><mrow><msub><mover><mi>P</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>P</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><munder><mi>&Sigma;</mi><mrow><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><munder><mi>&Sigma;</mi><mrow><msub><mi>p</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>P</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><mi>P</mi><mrow><mo>(</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>|</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>)</mo></mrow><mo>&CenterDot;</mo><msubsup><mi>d</mi><mi>p</mi><mi>n</mi></msubsup><mrow><mo>(</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow><mo>&CenterDot;</mo><msubsup><mi>d</mi><mi>a</mi><mi>n</mi></msubsup><mrow><mo>(</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><msub><mi>p</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000700138920000012.GIF" wi="1253" he="146" /></maths>其中满足约束条件如下:<maths num="0003" id="cmaths0003"><math><![CDATA[<mrow><msub><mi>X</mi><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup></msub><mo>&le;</mo><munder><mi>&Sigma;</mi><mrow><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><munder><mi>&Sigma;</mi><mrow><msub><mi>p</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>P</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><mi>&omega;</mi><mrow><mo>(</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow><mo>&CenterDot;</mo><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>1</mn></msub></mrow></munder><mi>f</mi><mrow><mo>(</mo><msubsup><mi>r</mi><mi>i</mi><mo>&prime;</mo></msubsup><mo>|</mo><msub><mi>r</mi><mi>i</mi></msub><mo>)</mo></mrow><mo>&CenterDot;</mo><msubsup><mi>d</mi><mi>p</mi><mi>n</mi></msubsup><mrow><mo>(</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow><mo>&CenterDot;</mo><msubsup><mi>d</mi><mi>a</mi><mi>n</mi></msubsup><mrow><mo>(</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><msub><mi>p</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow><mo>,</mo><mo>&ForAll;</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>R</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><mo>&ForAll;</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>&Element;</mo><msubsup><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>,</mo><mo>&ForAll;</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>P</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>;</mo></mrow>]]></math><img file="FDA0000700138920000013.GIF" wi="1568" he="109" /></maths><maths num="0004" id="cmaths0004"><math><![CDATA[<mrow><msub><mi>Q</mi><mi>loss</mi></msub><mo>=</mo><munder><mi>&Sigma;</mi><mrow><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><mi>&omega;</mi><mrow><mo>(</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow><munder><mi>&Sigma;</mi><mrow><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>&Element;</mo><msubsup><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup></mrow></munder><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>1</mn></msub></mrow></munder><mi>f</mi><mrow><mo>(</mo><msubsup><mi>r</mi><mi>i</mi><mo>&prime;</mo></msubsup><mo>|</mo><msub><mi>r</mi><mi>i</mi></msub><mo>)</mo></mrow><mo>&CenterDot;</mo><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>1</mn></msub></mrow></munder><msub><mi>d</mi><mi>q</mi></msub><mrow><mo>(</mo><msubsup><mi>r</mi><mi>i</mi><mo>&prime;</mo></msubsup><mo>,</mo><msub><mi>r</mi><mi>i</mi></msub><mo>)</mo></mrow><mo>&le;</mo><msubsup><mi>Q</mi><mi>loss</mi><mi>max</mi></msubsup><mo>;</mo></mrow>]]></math><img file="FDA0000700138920000014.GIF" wi="1123" he="129" /></maths><maths num="0005" id="cmaths0005"><math><![CDATA[<mrow><munder><mi>&Sigma;</mi><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup></munder><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>1</mn></msub></mrow></munder><mi>f</mi><mrow><mo>(</mo><msubsup><mi>r</mi><mi>i</mi><mo>&prime;</mo></msubsup><mo>|</mo><msub><mi>r</mi><mi>i</mi></msub><mo>)</mo></mrow><mo>=</mo><mn>1</mn><mo>,</mo><mo>&ForAll;</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>;</mo></mrow>]]></math><img file="FDA0000700138920000015.GIF" wi="609" he="134" /></maths><maths num="0006" id="cmaths0006"><math><![CDATA[<mrow><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>1</mn></msub></mrow></munder><mi>f</mi><mrow><mo>(</mo><msubsup><mi>r</mi><mi>i</mi><mo>&prime;</mo></msubsup><mo>|</mo><msub><mi>r</mi><mi>i</mi></msub><mo>)</mo></mrow><mo>&GreaterEqual;</mo><mn>0</mn><mo>,</mo><mo>&ForAll;</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><mo>&ForAll;</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>&Element;</mo><msubsup><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>;</mo></mrow>]]></math><img file="FDA0000700138920000016.GIF" wi="791" he="128" /></maths>β<sub>1</sub>={i∈[1,n]|r<sub>i</sub>∈r<sub>t,n</sub>^r<sub>i</sub>′∈r<sub>t,</sub>′<sub>n</sub>};其中,r<sub>t,n</sub>={r<sub>1</sub>,…,r<sub>n</sub>},r<sub>i</sub>∈r<sub>t,n</sub>,r<sub>i</sub>表示用户在t时长时间段内发布第i个位置服务请求所对应的真实位置;r<sub>t,n</sub>表示用户在t时长时间段内发布n个位置服务请求所对应的真实位置序列;由至少一个r<sub>t,n</sub>构成集合R<sub>t,n</sub>,R<sub>t,n</sub>表示用户分别对应于各个t时长时间段内分别发布n个位置服务请求所对应真实位置序列r<sub>t,n</sub>的集合;r'<sub>t,n</sub>={r<sub>1</sub>',…,r<sub>n</sub>'},r<sub>i</sub>'∈r'<sub>t,n</sub>,r<sub>i</sub>'表示用户在t时长时间段内发布第i个位置服务请求对应的真实位置r<sub>i</sub>,经过位置隐私保护机制函数f转换,获得对应的假位置;r'<sub>t,n</sub>表示用户在t时长时间段内发布n个位置服务请求所分别对应真实位置,分别经过位置隐私保护机制函数f转换,获得构成对应的假位置序列;由至少一个r'<sub>t,n</sub>构成集合R'<sub>t,n</sub>,R'<sub>t,n</sub>表示用户分别对应于各个t时长时间段内分别发布n个位置服务请求所对应假位置序列r'<sub>t,n</sub>的集合;<img file="FDA0000700138920000017.GIF" wi="566" he="91" />表示攻击者根据用户在t时长时间段内发送给服务提供商的假位置r<sub>i</sub>',获得对应的用户真实位置估计;<img file="FDA0000700138920000018.GIF" wi="54" he="78" />表示攻击者根据用户在t时长时间段内发布n个位置服务请求所对应发送给服务提供商的假位置序列,获得对应的用户真实位置估计序列;由至少一个<img file="FDA0000700138920000021.GIF" wi="62" he="70" />构成集合<img file="FDA0000700138920000022.GIF" wi="198" he="87" />表示攻击者根据用户分别对应于各个t时长时间段内分别发布n个位置服务请求所对应发送给服务提供商的假位置序列,获得对应的用户真实位置估计序列<img file="FDA0000700138920000023.GIF" wi="66" he="76" />的集合;p<sub>t,n</sub>={p<sub>1</sub>,…,p<sub>n</sub>},p<sub>i</sub>∈p<sub>t,n</sub>,p<sub>i</sub>表示用户在t时长时间段内发布第i个位置服务请求对应的真实兴趣点,各个兴趣点分别由至少一个位置组成;p<sub>t,n</sub>表示用户在t时长时间段内发布n个位置服务请求所对应的真实兴趣点序列;由至少一个p<sub>t,n</sub>构成集合P<sub>t,n</sub>,P<sub>t,n</sub>表示用户分别对应于各个t时长时间段内分别发布n个位置服务请求所对应真实兴趣点序列p<sub>t,n</sub>的集合;<img file="FDA0000700138920000024.GIF" wi="671" he="90" />表示攻击者根据其所获用户在t时长时间段内的用户真实位置估计<img file="FDA0000700138920000025.GIF" wi="59" he="71" />进一步获得对应的用户真实兴趣点估计;<img file="FDA0000700138920000026.GIF" wi="84" he="76" />表示攻击者根据其所获用户在t时长时间段内的用户真实位置估计序列<img file="FDA0000700138920000027.GIF" wi="84" he="77" />进一步获得对应的用户真实兴趣点估计序列;由至少一个<img file="FDA0000700138920000028.GIF" wi="74" he="76" />构成集合<img file="FDA0000700138920000029.GIF" wi="192" he="92" />表示攻击者根据其所获用户分别对应于各个t时长时间段内用户真实位置估计序列<img file="FDA00007001389200000210.GIF" wi="88" he="82" />进一步获得对应的用户真实兴趣点估计序列<img file="FDA00007001389200000211.GIF" wi="80" he="84" />的集合;P(r<sub>t,n</sub>|r'<sub>t,n</sub>)表示攻击者获得用户在t时长时间段内发送给服务提供商的假位置序列r'<sub>t,n</sub>条件下,该用户所对应真实位置序列为r<sub>t,n</sub>的概率;<img file="FDA00007001389200000212.GIF" wi="225" he="94" />表示用户在t时长时间段内发布n个位置服务请求所对应真实位置序列中各个真实位置,与攻击者所获对应用户真实位置估计序列中各个用户真实位置估计之间的比较度量函数;<img file="FDA00007001389200000213.GIF" wi="262" he="100" />表示用户在t时长时间段内发布n个位置服务请求所对应真实兴趣点序列中各个真实兴趣点,与攻击者所获对应用户真实兴趣点估计序列中各个用户真实兴趣点估计之间的比较度量函数;ω(·)表示用户移动模式;<img file="FDA00007001389200000214.GIF" wi="111" he="77" />为预设最大可容忍位置服务质量损失值,即用户发布位置服务请求的真实位置与对应假位置间的最大扭曲度,Q<sub>loss</sub>为位置服务质量损失值,用于描述用户发布位置服务请求的真实位置与对应假位置间的扭曲度;步骤002.根据用户位置服务隐私保护的最优策略模型,对应设计构建攻击者隐私攻击策略模型如下:<maths num="0007" id="cmaths0007"><math><![CDATA[<mrow><mi>Minimize</mi><munder><mi>&Sigma;</mi><mrow><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><munder><mi>&Sigma;</mi><mrow><msub><mi>p</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>P</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><mi>&omega;</mi><mrow><mo>(</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow><mo>&CenterDot;</mo><msub><mi>Y</mi><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></msub><mo>+</mo><mi>z</mi><mo>&CenterDot;</mo><msubsup><mi>Q</mi><mi>loss</mi><mi>max</mi></msubsup></mrow>]]></math><img file="FDA0000700138920000031.GIF" wi="832" he="121" /></maths><maths num="0008" id="cmaths0008"><math><![CDATA[<mrow><msub><mi>Y</mi><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></msub><mo>=</mo><munder><mi>max</mi><mrow><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>&Element;</mo><msubsup><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup></mrow></munder><munder><mi>&Sigma;</mi><mrow><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>R</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><munder><mi>&Sigma;</mi><mrow><msub><mover><mi>p</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>P</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>2</mn></msub></mrow></munder><mi>h</mi><mrow><mo>(</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mi>i</mi></msub><mo>|</mo><msubsup><mi>r</mi><mi>i</mi><mo>&prime;</mo></msubsup><mo>)</mo></mrow><mo>&CenterDot;</mo><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>3</mn></msub></mrow></munder><mi>g</mi><mrow><mo>(</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mi>i</mi></msub><mo>|</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>)</mo></mrow><mo>&CenterDot;</mo><msubsup><mi>d</mi><mi>p</mi><mi>n</mi></msubsup><mrow><mo>(</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow><mo>&CenterDot;</mo><msubsup><mi>d</mi><mi>a</mi><mi>n</mi></msubsup><mrow><mo>(</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><msub><mi>p</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000700138920000032.GIF" wi="1414" he="139" /></maths>其中满足约束条件如下:<maths num="0009" id="cmaths0009"><math><![CDATA[<mrow><msub><mi>Y</mi><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></msub><mo>&GreaterEqual;</mo><munder><mi>&Sigma;</mi><mrow><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>R</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><munder><mi>&Sigma;</mi><mrow><msub><mover><mi>p</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>P</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>2</mn></msub></mrow></munder><mi>h</mi><mrow><mo>(</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mi>i</mi></msub><mo>|</mo><msubsup><mi>r</mi><mi>i</mi><mo>&prime;</mo></msubsup><mo>)</mo></mrow><mo>&CenterDot;</mo><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>3</mn></msub></mrow></munder><mi>g</mi><mrow><mo>(</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mi>i</mi></msub><mo>|</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>)</mo></mrow><mo>&CenterDot;</mo><msubsup><mi>d</mi><mi>p</mi><mi>n</mi></msubsup><mrow><mo>(</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow><mo>&CenterDot;</mo><msubsup><mi>d</mi><mi>a</mi><mi>n</mi></msubsup><mrow><mo>(</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><msub><mi>p</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow><mo>+</mo><mi>z</mi><mo>&CenterDot;</mo><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>1</mn></msub></mrow></munder><msub><mi>d</mi><mi>q</mi></msub><mrow><mo>(</mo><msubsup><mi>r</mi><mi>i</mi><mo>&prime;</mo></msubsup><mo>,</mo><msub><mi>r</mi><mi>i</mi></msub><mo>)</mo></mrow><mo>,</mo><mo>;</mo></mrow>]]></math><img file="FDA0000700138920000033.GIF" wi="1562" he="118" /></maths><maths num="0010" id="cmaths0010"><math><![CDATA[<mrow><mo>&ForAll;</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><mo>&ForAll;</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>&Element;</mo><msubsup><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>,</mo><mo>&ForAll;</mo><msub><mi>p</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>P</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow>]]></math><img file="FDA0000700138920000034.GIF" wi="624" he="74" /></maths><maths num="0011" id="cmaths0011"><math><![CDATA[<mrow><munder><mi>&Sigma;</mi><mrow><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>R</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><munder><mi>&Sigma;</mi><mrow><msub><mover><mi>p</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>P</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>2</mn></msub></mrow></munder><mi>h</mi><mrow><mo>(</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mi>i</mi></msub><mo>|</mo><msubsup><mi>r</mi><mi>i</mi><mo>&prime;</mo></msubsup><mo>)</mo></mrow><mo>&CenterDot;</mo><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>3</mn></msub></mrow></munder><mi>g</mi><mrow><mo>(</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mi>i</mi></msub><mo>|</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>)</mo></mrow><mo>=</mo><mn>1</mn><mo>,</mo><mo>&ForAll;</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>&Element;</mo><msubsup><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>;</mo></mrow>]]></math><img file="FDA0000700138920000035.GIF" wi="1055" he="129" /></maths><maths num="0012" id="cmaths0012"><math><![CDATA[<mrow><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>2</mn></msub></mrow></munder><mi>h</mi><mrow><mo>(</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mi>i</mi></msub><mo>|</mo><msubsup><mi>r</mi><mi>i</mi><mo>&prime;</mo></msubsup><mo>)</mo></mrow><mo>&CenterDot;</mo><munder><mi>&Pi;</mi><mrow><mi>i</mi><mo>&Element;</mo><msub><mi>&beta;</mi><mn>3</mn></msub></mrow></munder><mi>g</mi><mrow><mo>(</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mi>i</mi></msub><mo>|</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>)</mo></mrow><mo>&GreaterEqual;</mo><mn>0</mn><mo>,</mo><mo>&ForAll;</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>&Element;</mo><msubsup><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>,</mo><mo>&ForAll;</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><mo>&ForAll;</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>R</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>;</mo></mrow>]]></math><img file="FDA0000700138920000036.GIF" wi="1298" he="131" /></maths><maths num="0013" id="cmaths0013"><math><![CDATA[<mrow><msub><mi>&beta;</mi><mn>2</mn></msub><mo>=</mo><mo>{</mo><mi>i</mi><mo>&Element;</mo><mo>[</mo><mn>1</mn><mo>,</mo><mi>n</mi><mo>]</mo><mo>|</mo><msub><mi>r</mi><mi>i</mi></msub><mo>&Element;</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>^</mo><msubsup><mi>r</mi><mi>i</mi><mo>&prime;</mo></msubsup><mo>&Element;</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>}</mo><mo>;</mo></mrow>]]></math><img file="FDA0000700138920000038.GIF" wi="685" he="95" /></maths><maths num="0014" id="cmaths0014"><math><![CDATA[<mrow><msub><mi>&beta;</mi><mn>3</mn></msub><mo>=</mo><mo>{</mo><mi>i</mi><mo>&Element;</mo><mo>[</mo><mn>1</mn><mo>,</mo><mi>n</mi><mo>]</mo><mo>|</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mi>i</mi></msub><mo>&Element;</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>}</mo><mo>;</mo></mrow>]]></math><img file="FDA0000700138920000039.GIF" wi="535" he="85" /></maths>z≥0;其中,h(·)表示攻击者针对用户位置的攻击函数,g(·)表示攻击者针对用户兴趣点的攻击函数;z为预设用户真实位置隐私保护与位置服务质量损失值之间的对应关系;d<sub>q</sub>(r<sub>i</sub>',r<sub>i</sub>)表示用户在t时长时间段内真实位置r<sub>i</sub>与其对应假位置r<sub>i</sub>'之间的欧几里德距离;步骤003.根据用户位置服务隐私保护的最优策略模型和攻击者隐私攻击策略模型,进行仿真实验,根据如下所示用户隐私模型<img file="FDA00007001389200000310.GIF" wi="441" he="94" /><maths num="0015" id="cmaths0015"><math><![CDATA[<mfenced open='' close=''><mtable><mtr><mtd><mi>UP</mi><mrow><mo>(</mo><mi>&omega;</mi><mo>,</mo><msup><mi>f</mi><mi>n</mi></msup><mo>,</mo><msup><mi>h</mi><mi>n</mi></msup><mo>,</mo><msup><mi>g</mi><mi>n</mi></msup><mo>,</mo><msubsup><mi>d</mi><mi>p</mi><mi>n</mi></msubsup><mo>,</mo><msubsup><mi>d</mi><mi>a</mi><mi>n</mi></msubsup><mo>)</mo></mrow><mo>=</mo></mtd></mtr><mtr><mtd><munder><mi>&Sigma;</mi><mrow><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>&Element;</mo><msubsup><mi>R</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>,</mo></mrow></munder><munder><mi>&Sigma;</mi><mrow><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>R</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><msub><mi>p</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mi>P</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><msub><mover><mi>p</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>&Element;</mo><msub><mover><mi>P</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></munder><mi>&omega;</mi><mrow><mo>(</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow><mo>&CenterDot;</mo><msup><mi>f</mi><mi>n</mi></msup><mrow><mo>(</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>|</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow><mo>&CenterDot;</mo><msup><mi>h</mi><mi>n</mi></msup><mrow><mo>(</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>|</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>)</mo></mrow><mo>&CenterDot;</mo><msup><mi>g</mi><mi>n</mi></msup><mrow><mo>(</mo><msub><mover><mi>P</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>|</mo><msubsup><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow><mo>&prime;</mo></msubsup><mo>)</mo></mrow><mo>&CenterDot;</mo><msubsup><mrow><msubsup><mi>d</mi><mi>p</mi><mi>n</mi></msubsup><mrow><mo>(</mo><msub><mover><mi>r</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><msub><mi>r</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow><mi>d</mi></mrow><mi>a</mi><mi>n</mi></msubsup><mrow><mo>(</mo><msub><mover><mi>P</mi><mo>^</mo></mover><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>,</mo><msub><mi>p</mi><mrow><mi>t</mi><mo>,</mo><mi>n</mi></mrow></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced>]]></math><img file="FDA0000700138920000037.GIF" wi="1516" he="165" /></maths>针对仿真结果进行验证分析,实现针对用户位置服务隐私保护效果的评价。
地址 211816 江苏省南京市浦口区浦珠南路30号