不可否认服务已经渗透到各种网络应用中，特别是与人们生活息息相关的电子商务、电子邮件等方面。提供有效的、完善的不可否认服务成为网络安全领域的研究热点。不可否认服务由良好的协议模型及完善的协议来实现，满足各种安全性目标是其能够提供不可否认服务的基础。安全性目标的必然实现，依赖于可信第三方（TTP）的参与。然而，TTP过多地参与协议，必然会导致其负载过重，从而影响TTP自身的可靠性。因此，在满足各种安全性目标的同时，尽可能减少TTP的参与。此外，除了参与方有可能相互欺诈，试图获得不正当利益外，参与方也可能有针对性地攻击TTP，如恶意增加TTP的负载，试图使其拒绝服务。针对以上问题，在借鉴不可否认服务已有的研究成果的基础上，本文主要做了以下工作：①分析已有的不可否认协议模型，指出其优缺点，并详细分析一个具体的无TTP的不可否认协议－MR协议，该协议以概率1－ε实现公平性，其最大优点是不需要TTP的参与；随后，分析并完善ZDB协议。本文在该协议中添加了时间点和时间段因子，使得参与双方能够更加准确的选择等待时间，从而增加协议完成信息交换的机会，同时减少请求TTP参与的机会。②提出一种称为基于类离线TTP的不可否认协议模型。本文该模型引入了自定义交换次数，进一步减少TTP的参与量，同时实现非强制性TTP；此外，分析了参与者针对TTP的恶意请求，并提出应对方法。之后将该模型与已有模型进行了比较，显示了该模型的优点。③设计一个完善的安全电子邮件协议。分析表明，该协议能够实现各种安全性目标，且TTP是半强制性和非强制性的，在具体步骤间，其以概率ε参与协议；此外，提出了具体防止参与方恶意请求TTP参与的方法以及选择自定义交换次数应考虑的因素。④在电子商务中，针对其在提供不可否认服务时对保护参与者声誉的要求，提出一个基于透明类离线TTP的电子商务交换协议，避免了外界对有损参与者声誉的行为的猜测。