移动通信技术和其他技术的完美组合创造了新的一代移动电子商务。移动性与因特网的融合给人们的工作和生活带来更多的选择和更高的效率。相对于传统电子商务而言,移动商务中的隐私保护更加困难。我们知道,传统的电子商务网站都有比较详细的隐私政策文件,但是大多数的浏览者并不愿意花很长的时间去阅读那些冗长的隐私政策。而在移动商务的环境下,由于显示屏幕的限制,消费者更没有耐心阅读这种冗长的隐私政策文件。所以隐私政策往往变成了一种摆设,消费者没有办法真正理解了公司的隐私策略后才决定是否同意其政策。本文简要描述了描述逻辑理论,隐私概念没有标准定义,但强调个人对其隐私信息的控制能力。移动计算的隐私保护目标以用户为中心,因此由用户来制定隐私信息的访问控制策略是有效的隐私保护机制。系统行为仅随策略的改变而改变,有利于为用户提供灵活和自适应性的隐私信息控制接口。策略体现为授权规则,可以通过基于规则的系统实现策略的执行机制。策略在移动计算隐私保护机制中的作用是终端用户创建隐私策略以控制其个人数据,对于请求者的访问请求,系统根据隐私策略对其检查,如果访问被授权,请求者可以访问利用个人数据所生成的个性化的服务。策略作为一种共性的应用,得到了学术界广泛研究,本文的主要研究对象就是逻辑策略。同时本文概述了我国移动环境中的隐私权的法律保护现状,从WEB协议层隐私保护方法、和从技术层面以扰动分析和安全多方对移动环境下隐私进行保护等内容。分析现有移动环境隐私保护中的不足。从而建立移动环境中的隐私因素,在此基础上,给出了隐私策略基于谓词逻辑的形式化系统的建立过程,描述了隐私策略命题的分解过程,并据此提出了原始隐私策略和可执行隐私策略的概念;给出了隐私策略形式化系统的字母表、项和公式的定义；根据移动计算应用特点,将移动计算应用系统抽象成一个数学结构,以便于隐私策略的形式化分析；给出了隐私策略公式的解释和语义；接着分析了移动环境下所存在的相关隐私因素,构建了移动计算中隐私保护的一阶逻辑模型；最后阐述了移动环境下相关隐私因素逻辑的实现。